------------------------------------------------------------------------------------------------------------------------------------------------------------ -- Generated for METAMODEL: fUML -- SYNTAX ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- EVALUATING MODEL, TARGET ELEMENTS AND KEY ELEMENTS -- TARGET ELEMENTS: DataType LiteralReal InstanceSpecification Constraint ControlFlow SendSignalAction Property FlowFinalNode Trigger ObjectFlow ReadStructuralFeatureAction MergeNode PrimitiveType ReadSelfAction CreateObjectAction Slot EncapsulatedClassifier CallBehaviorAction InputPin LiteralBoolean Parameter StructuredClassifier LiteralUnlimitedNatural InitialNode InstanceValue LiteralInteger Signal Connector OutputPin LiteralNull Port ConnectorEnd Reception Activity StartObjectBehaviorAction RemoveStructuralFeatureValueAction Class AcceptEventAction DecisionNode SignalEvent LiteralString ValueSpecificationAction ForkNode AddStructuralFeatureValueAction ClearStructuralFeatureAction FunctionBehavior -- KEY ELEMENTS: ConnectorEnd ActivityNode Event Slot InstanceSpecification Classifier Constraint ValueSpecification ActivityEdge Parameter Trigger Feature -- TARGET CLASSIFIERS: -- AcceptEventAction -- Activity -- AddStructuralFeatureValueAction -- CallBehaviorAction -- Class -- ClearStructuralFeatureAction -- Connector -- ConnectorEnd -- Constraint -- ControlFlow -- CreateObjectAction -- DataType -- DecisionNode -- EncapsulatedClassifier -- FlowFinalNode -- ForkNode -- FunctionBehavior -- InitialNode -- InputPin -- InstanceSpecification -- InstanceValue -- LiteralBoolean -- LiteralInteger -- LiteralNull -- LiteralReal -- LiteralString -- LiteralUnlimitedNatural -- MergeNode -- ObjectFlow -- OutputPin -- Parameter -- Port -- PrimitiveType -- Property -- ReadSelfAction -- ReadStructuralFeatureAction -- Reception -- RemoveStructuralFeatureValueAction -- SendSignalAction -- Signal -- SignalEvent -- Slot -- StartObjectBehaviorAction -- StructuredClassifier -- Trigger -- ValueSpecificationAction -- KEY CLASSIFIERS: -- ActivityEdge -- ActivityNode -- Classifier -- ConnectorEnd -- Constraint -- Event -- Feature -- InstanceSpecification -- Parameter -- Slot -- Trigger -- ValueSpecification -- CROSS CUTTING CLASSIFIERS: -- MultiplicityElement -- will some target elements be lost? no -- checking closure -- evaluating closure for DataTypeLiteralRealInstanceSpecificationConstraintControlFlowSendSignalActionPropertyFlowFinalNodeTriggerObjectFlowReadStructuralFeatureActionMergeNodePrimitiveTypeReadSelfActionCreateObjectActionSlotEncapsulatedClassifierCallBehaviorActionInputPinLiteralBooleanParameterStructuredClassifierLiteralUnlimitedNaturalInitialNodeInstanceValueLiteralIntegerSignalConnectorOutputPinLiteralNullPortConnectorEndReceptionActivityStartObjectBehaviorActionRemoveStructuralFeatureValueActionClassAcceptEventActionDecisionNodeSignalEventLiteralStringValueSpecificationActionForkNodeAddStructuralFeatureValueActionClearStructuralFeatureActionFunctionBehavior -- using this key elements ConnectorEndActivityNodeEventSlotInstanceSpecificationClassifierConstraintValueSpecificationActivityEdgeParameterTriggerFeature -- closed? false -- outside elements PackageImportGeneralizationCommentPackageElementImport -- removing those elements -- will some key elements be lost? no -- closed? true -- are they elements to be processed? yes -- checking elements -- evaluating class hierarchy for ConnectorEndActivityNodeEventSlotInstanceSpecificationClassifierConstraintValueSpecificationActivityEdgeParameterTriggerFeature -- entire class hierarchy is pair wise disjoint for elements... -- checking attributes from elements -- looking for inconsistencies: multiple types for a given atttribute, attribute uses a Bag or an OrdererSet, attribute without type -- WARNING: attribute uses an OrderedSet argument ActivityNode but it is mapped to a Set -- WARNING: attribute uses an OrderedSet result ActivityNode but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedParameter Parameter but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedParameter Parameter but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedAttribute Feature but it is mapped to a Set -- WARNING: attribute uses an OrderedSet memberEnd Feature but it is mapped to a Set -- WARNING: attribute uses an OrderedSet nestedClassifier Classifier but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedAttribute Feature but it is mapped to a Set -- WARNING: attribute uses an OrderedSet language but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedAttribute Feature but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedEnd Feature but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedOperation Feature but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedParameter Parameter but it is mapped to a Set -- WARNING: attribute uses an OrderedSet value ValueSpecification but it is mapped to a Set -- checking associations owning more than one ends, associations owning one end is covered by data types -- embedding generates properties owned by a classifier using two strategies: not navigable are defined in the data type constructor, navigable are generated in the generated transformation (criteria used: opposite is empty, i.e. other end is not navigable) -- generating these elements: -- AggregationKind -- ParameterDirectionKind -- Classifier -- superclasses: PackageableElement Namespace Type NamedElement Element -- subclasses: Class FunctionBehavior DataType StructuredClassifier Signal PrimitiveType EncapsulatedClassifier Activity OpaqueBehavior Association -- attributes(data constructors): isReadOnly isDerived navigableOwnedEnd classifierBehavior ownedBehavior isReentrant ownedParameter isAbstract isFinalSpecialization isActive nestedClassifier ownedReception ownedPort name visibility body language visibility ownedAttribute ownedAttribute ownedConnector -- ValueSpecification -- superclasses: NamedElement Element TypedElement -- subclasses: LiteralBoolean LiteralString LiteralInteger LiteralUnlimitedNatural InstanceValue LiteralReal LiteralNull -- attributes(data constructors): instance value value value value value name visibility type -- Slot -- superclasses: Element -- attributes(data constructors): definingFeature value -- InstanceSpecification -- superclasses: NamedElement Element -- attributes(data constructors): classifier name visibility -- Event -- superclasses: PackageableElement NamedElement Element -- subclasses: SignalEvent -- attributes(data constructors): name visibility visibility signal -- Trigger -- superclasses: NamedElement Element -- attributes(data constructors): name visibility event -- VisibilityKind -- Parameter -- superclasses: NamedElement MultiplicityElement Element TypedElement -- attributes(data constructors): isOrdered isUnique lowerValue upperValue name visibility direction type -- ActivityEdge -- superclasses: RedefinableElement NamedElement Element -- subclasses: ObjectFlow ControlFlow -- attributes(data constructors): guard name visibility isLeaf -- ActivityNode -- superclasses: RedefinableElement NamedElement Element -- subclasses: OutputPin AcceptEventAction CallBehaviorAction ValueSpecificationAction SendSignalAction AddStructuralFeatureValueAction StartObjectBehaviorAction InputPin ForkNode DecisionNode ClearStructuralFeatureAction FlowFinalNode CreateObjectAction ReadSelfAction MergeNode InitialNode StructuredActivityNode RemoveStructuralFeatureValueAction ReadStructuralFeatureAction -- attributes(data constructors): isUnmarshall result trigger isLocallyReentrant insertAt isReplaceAll isSynchronous result behavior result classifier result decisionInput decisionInputFlow argument isOrdered isUnique lowerValue upperValue name visibility result result isLeaf isRemoveDuplicates removeAt signal target object object structuralFeature mustIsolate structuredNodeInput structuredNodeOutput result value result value -- Constraint -- superclasses: PackageableElement NamedElement Element -- attributes(data constructors): specification name visibility visibility -- Feature -- superclasses: RedefinableElement NamedElement Element -- subclasses: Connector ConnectableElement Property Reception Port Operation -- attributes(data constructors): concurrency isAbstract ownedParameter end type isStatic isOrdered isUnique lowerValue upperValue name visibility isQuery redefinedOperation isBehavior isConjugated aggregation isDerived isDerivedUnion isID isReadOnly signal isLeaf isReadOnly -- ConnectorKind -- ConnectorEnd -- superclasses: MultiplicityElement Element -- attributes(data constructors): partWithPort isOrdered isUnique lowerValue upperValue -- CallConcurrencyKind ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_Classes_Kernel_Parameter -- ( FUML_Syntax_Classes_Kernel_MultiplicityElement_isOrdered FUML_Syntax_Classes_Kernel_MultiplicityElement_isUnique FUML_Syntax_Classes_Kernel_MultiplicityElement_lowerValue FUML_Syntax_Classes_Kernel_MultiplicityElement_upperValue FUML_Syntax_Classes_Kernel_NamedElement_name FUML_Syntax_Classes_Kernel_NamedElement_visibility FUML_Syntax_Classes_Kernel_Parameter_direction FUML_Syntax_Classes_Kernel_TypedElement_type) data FUML_Syntax_Classes_Kernel_Parameter = FUML_Syntax_Classes_Kernel_Parameter String Bool Bool FUML_Syntax_Classes_Kernel_ValueSpecification FUML_Syntax_Classes_Kernel_ValueSpecification String FUML_Syntax_Classes_Kernel_VisibilityKind FUML_Syntax_Classes_Kernel_ParameterDirectionKind FUML_Syntax_Classes_Kernel_Classifier | FUML_Syntax_Classes_Kernel_ParameterEmpty instance AsmTerm FUML_Syntax_Classes_Kernel_Parameter where asmDefault = FUML_Syntax_Classes_Kernel_ParameterEmpty instance Ord FUML_Syntax_Classes_Kernel_Parameter where (<=) (FUML_Syntax_Classes_Kernel_Parameter axmiId aisOrdered1 aisUnique2 alowerValue3 aupperValue4 aname5 avisibility6 adirection7 atype8) (FUML_Syntax_Classes_Kernel_Parameter bxmiId bisOrdered1 bisUnique2 blowerValue3 bupperValue4 bname5 bvisibility6 bdirection7 btype8) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_Classes_Kernel_ParameterEmpty) (FUML_Syntax_Classes_Kernel_Parameter bxmiId bisOrdered1 bisUnique2 blowerValue3 bupperValue4 bname5 bvisibility6 bdirection7 btype8) = True (<=) (FUML_Syntax_Classes_Kernel_Parameter axmiId aisOrdered1 aisUnique2 alowerValue3 aupperValue4 aname5 avisibility6 adirection7 atype8) (FUML_Syntax_Classes_Kernel_ParameterEmpty) = False (<=) (FUML_Syntax_Classes_Kernel_ParameterEmpty) (FUML_Syntax_Classes_Kernel_ParameterEmpty) = True instance Eq FUML_Syntax_Classes_Kernel_Parameter where (==) (FUML_Syntax_Classes_Kernel_Parameter axmiId aisOrdered1 aisUnique2 alowerValue3 aupperValue4 aname5 avisibility6 adirection7 atype8) (FUML_Syntax_Classes_Kernel_Parameter bxmiId bisOrdered1 bisUnique2 blowerValue3 bupperValue4 bname5 bvisibility6 bdirection7 btype8) = (axmiId == bxmiId) (==) (FUML_Syntax_Classes_Kernel_ParameterEmpty) (FUML_Syntax_Classes_Kernel_Parameter bxmiId bisOrdered1 bisUnique2 blowerValue3 bupperValue4 bname5 bvisibility6 bdirection7 btype8) = False (==) (FUML_Syntax_Classes_Kernel_Parameter axmiId aisOrdered1 aisUnique2 alowerValue3 aupperValue4 aname5 avisibility6 adirection7 atype8) (FUML_Syntax_Classes_Kernel_ParameterEmpty) = False (==) (FUML_Syntax_Classes_Kernel_ParameterEmpty) (FUML_Syntax_Classes_Kernel_ParameterEmpty) = True instance Text FUML_Syntax_Classes_Kernel_Parameter where showsPrec i FUML_Syntax_Classes_Kernel_ParameterEmpty = showString("FUML_Syntax_Classes_Kernel_ParameterEmpty") showsPrec i (FUML_Syntax_Classes_Kernel_Parameter xmiId isOrdered1 isUnique2 lowerValue3 upperValue4 name5 visibility6 direction7 type8) = showString(show "FUML_Syntax_Classes_Kernel_Parameter: " ++ " name = " ++ name5 ) -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Syntax_Classes_Kernel_Parameter -- property generated direction ParameterDirectionKind function_Parameter_direction :: FUML_Syntax_Classes_Kernel_Parameter -> FUML_Syntax_Classes_Kernel_ParameterDirectionKind function_Parameter_direction (FUML_Syntax_Classes_Kernel_Parameter xmiId isOrdered1 isUnique2 lowerValue3 upperValue4 name5 visibility6 direction7 type8) = direction7 -- property - association with opposite side navigable (ownedParameter) - User can define a BODY -- function_Parameter_operation :: FUML_Syntax_Classes_Kernel_Parameter -> FUML_Syntax_Classes_Kernel_Feature --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement -- property generated name String function_Parameter_NamedElement_name :: FUML_Syntax_Classes_Kernel_Parameter -> String function_Parameter_NamedElement_name (FUML_Syntax_Classes_Kernel_Parameter xmiId isOrdered1 isUnique2 lowerValue3 upperValue4 name5 visibility6 direction7 type8) = name5 -- property generated visibility VisibilityKind function_Parameter_NamedElement_visibility :: FUML_Syntax_Classes_Kernel_Parameter -> FUML_Syntax_Classes_Kernel_VisibilityKind function_Parameter_NamedElement_visibility (FUML_Syntax_Classes_Kernel_Parameter xmiId isOrdered1 isUnique2 lowerValue3 upperValue4 name5 visibility6 direction7 type8) = visibility6 -- property not generated (DERIVED PROPERTY) qualifiedName String -- property not generated (DERIVED PROPERTY) namespace Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_MultiplicityElement -- property generated isOrdered Boolean function_Parameter_MultiplicityElement_isOrdered :: FUML_Syntax_Classes_Kernel_Parameter -> Bool function_Parameter_MultiplicityElement_isOrdered (FUML_Syntax_Classes_Kernel_Parameter xmiId isOrdered1 isUnique2 lowerValue3 upperValue4 name5 visibility6 direction7 type8) = isOrdered1 -- property generated isUnique Boolean function_Parameter_MultiplicityElement_isUnique :: FUML_Syntax_Classes_Kernel_Parameter -> Bool function_Parameter_MultiplicityElement_isUnique (FUML_Syntax_Classes_Kernel_Parameter xmiId isOrdered1 isUnique2 lowerValue3 upperValue4 name5 visibility6 direction7 type8) = isUnique2 -- property not generated (DERIVED PROPERTY) upper UnlimitedNatural -- property not generated (DERIVED PROPERTY) lower Integer -- property generated upperValue ValueSpecification function_Parameter_MultiplicityElement_upperValue :: FUML_Syntax_Classes_Kernel_Parameter -> FUML_Syntax_Classes_Kernel_ValueSpecification function_Parameter_MultiplicityElement_upperValue (FUML_Syntax_Classes_Kernel_Parameter xmiId isOrdered1 isUnique2 lowerValue3 upperValue4 name5 visibility6 direction7 type8) = upperValue4 -- property generated lowerValue ValueSpecification function_Parameter_MultiplicityElement_lowerValue :: FUML_Syntax_Classes_Kernel_Parameter -> FUML_Syntax_Classes_Kernel_ValueSpecification function_Parameter_MultiplicityElement_lowerValue (FUML_Syntax_Classes_Kernel_Parameter xmiId isOrdered1 isUnique2 lowerValue3 upperValue4 name5 visibility6 direction7 type8) = lowerValue3 --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment --super class FUNCTIONS FUML_Syntax_Classes_Kernel_TypedElement -- property generated type Type function_Parameter_TypedElement_type :: FUML_Syntax_Classes_Kernel_Parameter -> FUML_Syntax_Classes_Kernel_Classifier function_Parameter_TypedElement_type (FUML_Syntax_Classes_Kernel_Parameter xmiId isOrdered1 isUnique2 lowerValue3 upperValue4 name5 visibility6 direction7 type8) = type8 -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_Classes_Kernel_Parameter --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_MultiplicityElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element --super class FUNCTIONS FUML_Syntax_Classes_Kernel_TypedElement ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_Extensions_Classes_Kernel_Constraint -- ( FUML_Syntax_Extensions_Classes_Kernel_Constraint_specification FUML_Syntax_Classes_Kernel_NamedElement_name FUML_Syntax_Classes_Kernel_NamedElement_visibility FUML_Syntax_Classes_Kernel_PackageableElement_visibility) data FUML_Syntax_Extensions_Classes_Kernel_Constraint = FUML_Syntax_Extensions_Classes_Kernel_Constraint String FUML_Syntax_Classes_Kernel_ValueSpecification String FUML_Syntax_Classes_Kernel_VisibilityKind FUML_Syntax_Classes_Kernel_VisibilityKind | FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty instance AsmTerm FUML_Syntax_Extensions_Classes_Kernel_Constraint where asmDefault = FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty instance Ord FUML_Syntax_Extensions_Classes_Kernel_Constraint where (<=) (FUML_Syntax_Extensions_Classes_Kernel_Constraint axmiId aspecification1 aname2 avisibility3 avisibility4) (FUML_Syntax_Extensions_Classes_Kernel_Constraint bxmiId bspecification1 bname2 bvisibility3 bvisibility4) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty) (FUML_Syntax_Extensions_Classes_Kernel_Constraint bxmiId bspecification1 bname2 bvisibility3 bvisibility4) = True (<=) (FUML_Syntax_Extensions_Classes_Kernel_Constraint axmiId aspecification1 aname2 avisibility3 avisibility4) (FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty) = False (<=) (FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty) (FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty) = True instance Eq FUML_Syntax_Extensions_Classes_Kernel_Constraint where (==) (FUML_Syntax_Extensions_Classes_Kernel_Constraint axmiId aspecification1 aname2 avisibility3 avisibility4) (FUML_Syntax_Extensions_Classes_Kernel_Constraint bxmiId bspecification1 bname2 bvisibility3 bvisibility4) = (axmiId == bxmiId) (==) (FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty) (FUML_Syntax_Extensions_Classes_Kernel_Constraint bxmiId bspecification1 bname2 bvisibility3 bvisibility4) = False (==) (FUML_Syntax_Extensions_Classes_Kernel_Constraint axmiId aspecification1 aname2 avisibility3 avisibility4) (FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty) = False (==) (FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty) (FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty) = True instance Text FUML_Syntax_Extensions_Classes_Kernel_Constraint where showsPrec i FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty = showString("FUML_Syntax_Extensions_Classes_Kernel_ConstraintEmpty") showsPrec i (FUML_Syntax_Extensions_Classes_Kernel_Constraint xmiId specification1 name2 visibility3 visibility4) = showString(show "FUML_Syntax_Extensions_Classes_Kernel_Constraint: " ++ " name = " ++ name2 ) -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Syntax_Extensions_Classes_Kernel_Constraint -- property generated specification ValueSpecification function_Constraint_specification :: FUML_Syntax_Extensions_Classes_Kernel_Constraint -> FUML_Syntax_Classes_Kernel_ValueSpecification function_Constraint_specification (FUML_Syntax_Extensions_Classes_Kernel_Constraint xmiId specification1 name2 visibility3 visibility4) = specification1 -- property - association with opposite side navigable (ownedRule) mandatory lower(1) - User must define a BODY -- function_Constraint_context :: FUML_Syntax_Extensions_Classes_Kernel_Constraint -> FUML_Syntax_Classes_Kernel_Classifier -- property not generated (TYPE IS NOT IN THE CLOSED SET) constrainedElement Element --super class FUNCTIONS FUML_Syntax_Classes_Kernel_PackageableElement -- property generated visibility VisibilityKind function_Constraint_PackageableElement_visibility :: FUML_Syntax_Extensions_Classes_Kernel_Constraint -> FUML_Syntax_Classes_Kernel_VisibilityKind function_Constraint_PackageableElement_visibility (FUML_Syntax_Extensions_Classes_Kernel_Constraint xmiId specification1 name2 visibility3 visibility4) = visibility4 --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement -- property generated name String function_Constraint_NamedElement_name :: FUML_Syntax_Extensions_Classes_Kernel_Constraint -> String function_Constraint_NamedElement_name (FUML_Syntax_Extensions_Classes_Kernel_Constraint xmiId specification1 name2 visibility3 visibility4) = name2 -- property generated visibility VisibilityKind function_Constraint_NamedElement_visibility :: FUML_Syntax_Extensions_Classes_Kernel_Constraint -> FUML_Syntax_Classes_Kernel_VisibilityKind function_Constraint_NamedElement_visibility (FUML_Syntax_Extensions_Classes_Kernel_Constraint xmiId specification1 name2 visibility3 visibility4) = visibility3 -- property not generated (DERIVED PROPERTY) qualifiedName String -- property not generated (DERIVED PROPERTY) namespace Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_Extensions_Classes_Kernel_Constraint --super class FUNCTIONS FUML_Syntax_Classes_Kernel_PackageableElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_Activities_IntermediateActivities_ActivityNode -- sub classes TYPES data FUML_Syntax_Activities_IntermediateActivities_ActivityNodeType = FUML_Syntax_Actions_BasicActions_OutputPin | FUML_Syntax_Actions_CompleteActions_AcceptEventAction | FUML_Syntax_Actions_BasicActions_CallBehaviorAction | FUML_Syntax_Actions_IntermediateActions_ValueSpecificationAction | FUML_Syntax_Actions_BasicActions_SendSignalAction | FUML_Syntax_Actions_IntermediateActions_AddStructuralFeatureValueAction | FUML_Syntax_Actions_CompleteActions_StartObjectBehaviorAction | FUML_Syntax_Actions_BasicActions_InputPin | FUML_Syntax_Activities_IntermediateActivities_ForkNode | FUML_Syntax_Activities_IntermediateActivities_DecisionNode | FUML_Syntax_Actions_IntermediateActions_ClearStructuralFeatureAction | FUML_Syntax_Activities_IntermediateActivities_FlowFinalNode | FUML_Syntax_Actions_IntermediateActions_CreateObjectAction | FUML_Syntax_Actions_IntermediateActions_ReadSelfAction | FUML_Syntax_Activities_IntermediateActivities_MergeNode | FUML_Syntax_Activities_IntermediateActivities_InitialNode | FUML_Syntax_Activities_CompleteStructuredActivities_StructuredActivityNode | FUML_Syntax_Actions_IntermediateActions_RemoveStructuralFeatureValueAction | FUML_Syntax_Actions_IntermediateActions_ReadStructuralFeatureAction instance AsmTerm FUML_Syntax_Activities_IntermediateActivities_ActivityNodeType where asmDefault = FUML_Syntax_Actions_BasicActions_OutputPin instance Ord FUML_Syntax_Activities_IntermediateActivities_ActivityNodeType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_Activities_IntermediateActivities_ActivityNodeType] list = [FUML_Syntax_Actions_BasicActions_OutputPin,FUML_Syntax_Actions_CompleteActions_AcceptEventAction,FUML_Syntax_Actions_BasicActions_CallBehaviorAction,FUML_Syntax_Actions_IntermediateActions_ValueSpecificationAction,FUML_Syntax_Actions_BasicActions_SendSignalAction,FUML_Syntax_Actions_IntermediateActions_AddStructuralFeatureValueAction,FUML_Syntax_Actions_CompleteActions_StartObjectBehaviorAction,FUML_Syntax_Actions_BasicActions_InputPin,FUML_Syntax_Activities_IntermediateActivities_ForkNode,FUML_Syntax_Activities_IntermediateActivities_DecisionNode,FUML_Syntax_Actions_IntermediateActions_ClearStructuralFeatureAction,FUML_Syntax_Activities_IntermediateActivities_FlowFinalNode,FUML_Syntax_Actions_IntermediateActions_CreateObjectAction,FUML_Syntax_Actions_IntermediateActions_ReadSelfAction,FUML_Syntax_Activities_IntermediateActivities_MergeNode,FUML_Syntax_Activities_IntermediateActivities_InitialNode,FUML_Syntax_Activities_CompleteStructuredActivities_StructuredActivityNode,FUML_Syntax_Actions_IntermediateActions_RemoveStructuralFeatureValueAction,FUML_Syntax_Actions_IntermediateActions_ReadStructuralFeatureAction] findPos :: [FUML_Syntax_Activities_IntermediateActivities_ActivityNodeType] -> FUML_Syntax_Activities_IntermediateActivities_ActivityNodeType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Syntax_Activities_IntermediateActivities_ActivityNodeType where (==) = genericEq -- ( FUML_Syntax_Actions_CompleteActions_AcceptEventAction_isUnmarshall {FUML_Syntax_Actions_CompleteActions_AcceptEventAction_result} {FUML_Syntax_Actions_CompleteActions_AcceptEventAction_trigger} FUML_Syntax_Actions_BasicActions_Action_isLocallyReentrant FUML_Syntax_Actions_IntermediateActions_AddStructuralFeatureValueAction_insertAt FUML_Syntax_Actions_IntermediateActions_AddStructuralFeatureValueAction_isReplaceAll FUML_Syntax_Actions_BasicActions_CallAction_isSynchronous {FUML_Syntax_Actions_BasicActions_CallAction_result} FUML_Syntax_Actions_BasicActions_CallBehaviorAction_behavior FUML_Syntax_Actions_IntermediateActions_ClearStructuralFeatureAction_result FUML_Syntax_Actions_IntermediateActions_CreateObjectAction_classifier FUML_Syntax_Actions_IntermediateActions_CreateObjectAction_result FUML_Syntax_Activities_IntermediateActivities_DecisionNode_decisionInput FUML_Syntax_Activities_IntermediateActivities_DecisionNode_decisionInputFlow {FUML_Syntax_Actions_BasicActions_InvocationAction_argument} FUML_Syntax_Classes_Kernel_MultiplicityElement_isOrdered FUML_Syntax_Classes_Kernel_MultiplicityElement_isUnique FUML_Syntax_Classes_Kernel_MultiplicityElement_lowerValue FUML_Syntax_Classes_Kernel_MultiplicityElement_upperValue FUML_Syntax_Classes_Kernel_NamedElement_name FUML_Syntax_Classes_Kernel_NamedElement_visibility FUML_Syntax_Actions_IntermediateActions_ReadSelfAction_result FUML_Syntax_Actions_IntermediateActions_ReadStructuralFeatureAction_result FUML_Syntax_Classes_Kernel_RedefinableElement_isLeaf FUML_Syntax_Actions_IntermediateActions_RemoveStructuralFeatureValueAction_isRemoveDuplicates FUML_Syntax_Actions_IntermediateActions_RemoveStructuralFeatureValueAction_removeAt FUML_Syntax_Actions_BasicActions_SendSignalAction_signal FUML_Syntax_Actions_BasicActions_SendSignalAction_target FUML_Syntax_Actions_CompleteActions_StartObjectBehaviorAction_object FUML_Syntax_Actions_IntermediateActions_StructuralFeatureAction_object FUML_Syntax_Actions_IntermediateActions_StructuralFeatureAction_structuralFeature FUML_Syntax_Activities_CompleteStructuredActivities_StructuredActivityNode_mustIsolate {FUML_Syntax_Activities_CompleteStructuredActivities_StructuredActivityNode_structuredNodeInput} {FUML_Syntax_Activities_CompleteStructuredActivities_StructuredActivityNode_structuredNodeOutput} FUML_Syntax_Actions_IntermediateActions_ValueSpecificationAction_result FUML_Syntax_Actions_IntermediateActions_ValueSpecificationAction_value FUML_Syntax_Actions_IntermediateActions_WriteStructuralFeatureAction_result FUML_Syntax_Actions_IntermediateActions_WriteStructuralFeatureAction_value) data FUML_Syntax_Activities_IntermediateActivities_ActivityNode = FUML_Syntax_Activities_IntermediateActivities_ActivityNode String Bool {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} {FUML_Syntax_CommonBehaviors_Communications_Trigger} Bool FUML_Syntax_Activities_IntermediateActivities_ActivityNode Bool Bool {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} FUML_Syntax_Classes_Kernel_Classifier FUML_Syntax_Activities_IntermediateActivities_ActivityNode FUML_Syntax_Classes_Kernel_Classifier FUML_Syntax_Activities_IntermediateActivities_ActivityNode FUML_Syntax_Classes_Kernel_Classifier FUML_Syntax_Activities_IntermediateActivities_ActivityEdge {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} Bool Bool FUML_Syntax_Classes_Kernel_ValueSpecification FUML_Syntax_Classes_Kernel_ValueSpecification String FUML_Syntax_Classes_Kernel_VisibilityKind FUML_Syntax_Activities_IntermediateActivities_ActivityNode FUML_Syntax_Activities_IntermediateActivities_ActivityNode Bool Bool FUML_Syntax_Activities_IntermediateActivities_ActivityNode FUML_Syntax_Classes_Kernel_Classifier FUML_Syntax_Activities_IntermediateActivities_ActivityNode FUML_Syntax_Activities_IntermediateActivities_ActivityNode FUML_Syntax_Activities_IntermediateActivities_ActivityNode FUML_Syntax_Classes_Kernel_Feature Bool {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} FUML_Syntax_Activities_IntermediateActivities_ActivityNode FUML_Syntax_Classes_Kernel_ValueSpecification FUML_Syntax_Activities_IntermediateActivities_ActivityNode FUML_Syntax_Activities_IntermediateActivities_ActivityNode FUML_Syntax_Activities_IntermediateActivities_ActivityNodeType | FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty instance AsmTerm FUML_Syntax_Activities_IntermediateActivities_ActivityNode where asmDefault = FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty instance Ord FUML_Syntax_Activities_IntermediateActivities_ActivityNode where (<=) (FUML_Syntax_Activities_IntermediateActivities_ActivityNode axmiId aisUnmarshall1 aresult2 atrigger3 aisLocallyReentrant4 ainsertAt5 aisReplaceAll6 aisSynchronous7 aresult8 abehavior9 aresult10 aclassifier11 aresult12 adecisionInput13 adecisionInputFlow14 aargument15 aisOrdered16 aisUnique17 alowerValue18 aupperValue19 aname20 avisibility21 aresult22 aresult23 aisLeaf24 aisRemoveDuplicates25 aremoveAt26 asignal27 atarget28 aobject29 aobject30 astructuralFeature31 amustIsolate32 astructuredNodeInput33 astructuredNodeOutput34 aresult35 avalue36 aresult37 avalue38 afUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) (FUML_Syntax_Activities_IntermediateActivities_ActivityNode bxmiId bisUnmarshall1 bresult2 btrigger3 bisLocallyReentrant4 binsertAt5 bisReplaceAll6 bisSynchronous7 bresult8 bbehavior9 bresult10 bclassifier11 bresult12 bdecisionInput13 bdecisionInputFlow14 bargument15 bisOrdered16 bisUnique17 blowerValue18 bupperValue19 bname20 bvisibility21 bresult22 bresult23 bisLeaf24 bisRemoveDuplicates25 bremoveAt26 bsignal27 btarget28 bobject29 bobject30 bstructuralFeature31 bmustIsolate32 bstructuredNodeInput33 bstructuredNodeOutput34 bresult35 bvalue36 bresult37 bvalue38 bfUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty) (FUML_Syntax_Activities_IntermediateActivities_ActivityNode bxmiId bisUnmarshall1 bresult2 btrigger3 bisLocallyReentrant4 binsertAt5 bisReplaceAll6 bisSynchronous7 bresult8 bbehavior9 bresult10 bclassifier11 bresult12 bdecisionInput13 bdecisionInputFlow14 bargument15 bisOrdered16 bisUnique17 blowerValue18 bupperValue19 bname20 bvisibility21 bresult22 bresult23 bisLeaf24 bisRemoveDuplicates25 bremoveAt26 bsignal27 btarget28 bobject29 bobject30 bstructuralFeature31 bmustIsolate32 bstructuredNodeInput33 bstructuredNodeOutput34 bresult35 bvalue36 bresult37 bvalue38 bfUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = True (<=) (FUML_Syntax_Activities_IntermediateActivities_ActivityNode axmiId aisUnmarshall1 aresult2 atrigger3 aisLocallyReentrant4 ainsertAt5 aisReplaceAll6 aisSynchronous7 aresult8 abehavior9 aresult10 aclassifier11 aresult12 adecisionInput13 adecisionInputFlow14 aargument15 aisOrdered16 aisUnique17 alowerValue18 aupperValue19 aname20 avisibility21 aresult22 aresult23 aisLeaf24 aisRemoveDuplicates25 aremoveAt26 asignal27 atarget28 aobject29 aobject30 astructuralFeature31 amustIsolate32 astructuredNodeInput33 astructuredNodeOutput34 aresult35 avalue36 aresult37 avalue38 afUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) (FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty) = False (<=) (FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty) (FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty) = True instance Eq FUML_Syntax_Activities_IntermediateActivities_ActivityNode where (==) (FUML_Syntax_Activities_IntermediateActivities_ActivityNode axmiId aisUnmarshall1 aresult2 atrigger3 aisLocallyReentrant4 ainsertAt5 aisReplaceAll6 aisSynchronous7 aresult8 abehavior9 aresult10 aclassifier11 aresult12 adecisionInput13 adecisionInputFlow14 aargument15 aisOrdered16 aisUnique17 alowerValue18 aupperValue19 aname20 avisibility21 aresult22 aresult23 aisLeaf24 aisRemoveDuplicates25 aremoveAt26 asignal27 atarget28 aobject29 aobject30 astructuralFeature31 amustIsolate32 astructuredNodeInput33 astructuredNodeOutput34 aresult35 avalue36 aresult37 avalue38 afUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) (FUML_Syntax_Activities_IntermediateActivities_ActivityNode bxmiId bisUnmarshall1 bresult2 btrigger3 bisLocallyReentrant4 binsertAt5 bisReplaceAll6 bisSynchronous7 bresult8 bbehavior9 bresult10 bclassifier11 bresult12 bdecisionInput13 bdecisionInputFlow14 bargument15 bisOrdered16 bisUnique17 blowerValue18 bupperValue19 bname20 bvisibility21 bresult22 bresult23 bisLeaf24 bisRemoveDuplicates25 bremoveAt26 bsignal27 btarget28 bobject29 bobject30 bstructuralFeature31 bmustIsolate32 bstructuredNodeInput33 bstructuredNodeOutput34 bresult35 bvalue36 bresult37 bvalue38 bfUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = (axmiId == bxmiId) (==) (FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty) (FUML_Syntax_Activities_IntermediateActivities_ActivityNode bxmiId bisUnmarshall1 bresult2 btrigger3 bisLocallyReentrant4 binsertAt5 bisReplaceAll6 bisSynchronous7 bresult8 bbehavior9 bresult10 bclassifier11 bresult12 bdecisionInput13 bdecisionInputFlow14 bargument15 bisOrdered16 bisUnique17 blowerValue18 bupperValue19 bname20 bvisibility21 bresult22 bresult23 bisLeaf24 bisRemoveDuplicates25 bremoveAt26 bsignal27 btarget28 bobject29 bobject30 bstructuralFeature31 bmustIsolate32 bstructuredNodeInput33 bstructuredNodeOutput34 bresult35 bvalue36 bresult37 bvalue38 bfUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = False (==) (FUML_Syntax_Activities_IntermediateActivities_ActivityNode axmiId aisUnmarshall1 aresult2 atrigger3 aisLocallyReentrant4 ainsertAt5 aisReplaceAll6 aisSynchronous7 aresult8 abehavior9 aresult10 aclassifier11 aresult12 adecisionInput13 adecisionInputFlow14 aargument15 aisOrdered16 aisUnique17 alowerValue18 aupperValue19 aname20 avisibility21 aresult22 aresult23 aisLeaf24 aisRemoveDuplicates25 aremoveAt26 asignal27 atarget28 aobject29 aobject30 astructuralFeature31 amustIsolate32 astructuredNodeInput33 astructuredNodeOutput34 aresult35 avalue36 aresult37 avalue38 afUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) (FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty) = False (==) (FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty) (FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty) = True instance Text FUML_Syntax_Activities_IntermediateActivities_ActivityNode where showsPrec i FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty = showString("FUML_Syntax_Activities_IntermediateActivities_ActivityNodeEmpty") showsPrec i (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = showString(show fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType ++ " name = " ++ name20 ) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_ActivityNode_type :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNodeType function_ActivityNode_type (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType --class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ActivityNode -- property - association with opposite side navigable (node) - User can define a BODY -- function_ActivityNode_inStructuredNode :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode -- property - association with opposite side navigable (node) - User can define a BODY -- function_ActivityNode_activity :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_Classifier -- property - association with opposite side navigable (source) - User can define a BODY -- function_ActivityNode_outgoing :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> {FUML_Syntax_Activities_IntermediateActivities_ActivityEdge} -- property - association with opposite side navigable (target) - User can define a BODY -- function_ActivityNode_incoming :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> {FUML_Syntax_Activities_IntermediateActivities_ActivityEdge} --super class FUNCTIONS FUML_Syntax_Classes_Kernel_RedefinableElement -- property generated isLeaf Boolean function_ActivityNode_RedefinableElement_isLeaf :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> Bool function_ActivityNode_RedefinableElement_isLeaf (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = isLeaf24 -- property not generated (DERIVED PROPERTY) redefinedElement RedefinableElement -- property not generated (DERIVED PROPERTY) redefinitionContext Classifier --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement -- property generated name String function_ActivityNode_NamedElement_name :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> String function_ActivityNode_NamedElement_name (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = name20 -- property generated visibility VisibilityKind function_ActivityNode_NamedElement_visibility :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_VisibilityKind function_ActivityNode_NamedElement_visibility (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = visibility21 -- property not generated (DERIVED PROPERTY) qualifiedName String -- property not generated (DERIVED PROPERTY) namespace Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_StructuralFeatureAction -- property generated structuralFeature StructuralFeature function_ActivityNode_StructuralFeatureAction_structuralFeature :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_Feature function_ActivityNode_StructuralFeatureAction_structuralFeature (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = structuralFeature31 -- property generated object InputPin function_ActivityNode_StructuralFeatureAction_object :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_StructuralFeatureAction_object (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = object30 --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_WriteStructuralFeatureAction -- property generated value InputPin function_ActivityNode_WriteStructuralFeatureAction_value :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_WriteStructuralFeatureAction_value (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = value38 -- property generated result OutputPin function_ActivityNode_WriteStructuralFeatureAction_result :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_WriteStructuralFeatureAction_result (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = result37 --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_CallBehaviorAction -- property generated behavior Behavior function_ActivityNode_CallBehaviorAction_behavior :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_Classifier function_ActivityNode_CallBehaviorAction_behavior (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = behavior9 --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_ValueSpecificationAction -- property generated value ValueSpecification function_ActivityNode_ValueSpecificationAction_value :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_ValueSpecification function_ActivityNode_ValueSpecificationAction_value (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = value36 -- property generated result OutputPin function_ActivityNode_ValueSpecificationAction_result :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_ValueSpecificationAction_result (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = result35 --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_SendSignalAction -- property generated target InputPin function_ActivityNode_SendSignalAction_target :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_SendSignalAction_target (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = target28 -- property generated signal Signal function_ActivityNode_SendSignalAction_signal :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_Classifier function_ActivityNode_SendSignalAction_signal (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = signal27 --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_InputPin --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_DecisionNode -- property generated decisionInput Behavior function_ActivityNode_DecisionNode_decisionInput :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_Classifier function_ActivityNode_DecisionNode_decisionInput (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = decisionInput13 -- property generated decisionInputFlow ObjectFlow function_ActivityNode_DecisionNode_decisionInputFlow :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityEdge function_ActivityNode_DecisionNode_decisionInputFlow (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = decisionInputFlow14 --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_Action -- property not generated (DERIVED PROPERTY) output OutputPin -- property not generated (DERIVED PROPERTY) context Classifier -- property not generated (DERIVED PROPERTY) input InputPin -- property generated isLocallyReentrant Boolean function_ActivityNode_Action_isLocallyReentrant :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> Bool function_ActivityNode_Action_isLocallyReentrant (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = isLocallyReentrant4 --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_CreateObjectAction -- property generated result OutputPin function_ActivityNode_CreateObjectAction_result :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_CreateObjectAction_result (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = result12 -- property generated classifier Classifier function_ActivityNode_CreateObjectAction_classifier :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_Classifier function_ActivityNode_CreateObjectAction_classifier (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = classifier11 --sub class FUNCTIONS FUML_Syntax_Activities_CompleteStructuredActivities_ExecutableNode --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_InitialNode --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_Pin --sub class FUNCTIONS FUML_Syntax_Activities_CompleteStructuredActivities_StructuredActivityNode -- property - association with opposite side navigable (inStructuredNode) - User can define a BODY -- function_ActivityNode_StructuredActivityNode_node :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} -- property - association with opposite side navigable (structuredNode) - User can define a BODY -- function_ActivityNode_StructuredActivityNode_activity :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_Classifier -- property generated mustIsolate Boolean function_ActivityNode_StructuredActivityNode_mustIsolate :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> Bool function_ActivityNode_StructuredActivityNode_mustIsolate (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = mustIsolate32 -- property - association with opposite side navigable (inStructuredNode) - User can define a BODY -- function_ActivityNode_StructuredActivityNode_edge :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> {FUML_Syntax_Activities_IntermediateActivities_ActivityEdge} -- property generated structuredNodeOutput OutputPin function_ActivityNode_StructuredActivityNode_structuredNodeOutput :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} function_ActivityNode_StructuredActivityNode_structuredNodeOutput (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = structuredNodeOutput34 -- property generated structuredNodeInput InputPin function_ActivityNode_StructuredActivityNode_structuredNodeInput :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} function_ActivityNode_StructuredActivityNode_structuredNodeInput (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = structuredNodeInput33 --sub class FUNCTIONS FUML_Syntax_Actions_CompleteActions_AcceptEventAction -- property generated isUnmarshall Boolean function_ActivityNode_AcceptEventAction_isUnmarshall :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> Bool function_ActivityNode_AcceptEventAction_isUnmarshall (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = isUnmarshall1 -- property generated result OutputPin function_ActivityNode_AcceptEventAction_result :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} function_ActivityNode_AcceptEventAction_result (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = result2 -- property generated trigger Trigger function_ActivityNode_AcceptEventAction_trigger :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> {FUML_Syntax_CommonBehaviors_Communications_Trigger} function_ActivityNode_AcceptEventAction_trigger (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = trigger3 --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_OutputPin --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_FinalNode --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ControlNode --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_MultiplicityElement -- property generated isOrdered Boolean function_ActivityNode_MultiplicityElement_isOrdered :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> Bool function_ActivityNode_MultiplicityElement_isOrdered (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = isOrdered16 -- property generated isUnique Boolean function_ActivityNode_MultiplicityElement_isUnique :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> Bool function_ActivityNode_MultiplicityElement_isUnique (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = isUnique17 -- property not generated (DERIVED PROPERTY) upper UnlimitedNatural -- property not generated (DERIVED PROPERTY) lower Integer -- property generated upperValue ValueSpecification function_ActivityNode_MultiplicityElement_upperValue :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_ValueSpecification function_ActivityNode_MultiplicityElement_upperValue (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = upperValue19 -- property generated lowerValue ValueSpecification function_ActivityNode_MultiplicityElement_lowerValue :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Classes_Kernel_ValueSpecification function_ActivityNode_MultiplicityElement_lowerValue (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = lowerValue18 --sub class FUNCTIONS FUML_Syntax_Actions_CompleteActions_StartObjectBehaviorAction -- property generated object InputPin function_ActivityNode_StartObjectBehaviorAction_object :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_StartObjectBehaviorAction_object (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = object29 --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_AddStructuralFeatureValueAction -- property generated isReplaceAll Boolean function_ActivityNode_AddStructuralFeatureValueAction_isReplaceAll :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> Bool function_ActivityNode_AddStructuralFeatureValueAction_isReplaceAll (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = isReplaceAll6 -- property generated insertAt InputPin function_ActivityNode_AddStructuralFeatureValueAction_insertAt :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_AddStructuralFeatureValueAction_insertAt (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = insertAt5 --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ForkNode --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_ClearStructuralFeatureAction -- property generated result OutputPin function_ActivityNode_ClearStructuralFeatureAction_result :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_ClearStructuralFeatureAction_result (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = result10 --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_CallAction -- property generated isSynchronous Boolean function_ActivityNode_CallAction_isSynchronous :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> Bool function_ActivityNode_CallAction_isSynchronous (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = isSynchronous7 -- property generated result OutputPin function_ActivityNode_CallAction_result :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} function_ActivityNode_CallAction_result (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = result8 --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_FlowFinalNode --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_ReadSelfAction -- property generated result OutputPin function_ActivityNode_ReadSelfAction_result :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_ReadSelfAction_result (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = result22 --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_MergeNode --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_InvocationAction -- property generated argument InputPin function_ActivityNode_InvocationAction_argument :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} function_ActivityNode_InvocationAction_argument (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = argument15 --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ObjectNode --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_RemoveStructuralFeatureValueAction -- property generated isRemoveDuplicates Boolean function_ActivityNode_RemoveStructuralFeatureValueAction_isRemoveDuplicates :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> Bool function_ActivityNode_RemoveStructuralFeatureValueAction_isRemoveDuplicates (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = isRemoveDuplicates25 -- property generated removeAt InputPin function_ActivityNode_RemoveStructuralFeatureValueAction_removeAt :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_RemoveStructuralFeatureValueAction_removeAt (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = removeAt26 --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_ReadStructuralFeatureAction -- property generated result OutputPin function_ActivityNode_ReadStructuralFeatureAction_result :: FUML_Syntax_Activities_IntermediateActivities_ActivityNode -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode function_ActivityNode_ReadStructuralFeatureAction_result (FUML_Syntax_Activities_IntermediateActivities_ActivityNode xmiId isUnmarshall1 result2 trigger3 isLocallyReentrant4 insertAt5 isReplaceAll6 isSynchronous7 result8 behavior9 result10 classifier11 result12 decisionInput13 decisionInputFlow14 argument15 isOrdered16 isUnique17 lowerValue18 upperValue19 name20 visibility21 result22 result23 isLeaf24 isRemoveDuplicates25 removeAt26 signal27 target28 object29 object30 structuralFeature31 mustIsolate32 structuredNodeInput33 structuredNodeOutput34 result35 value36 result37 value38 fUML_Syntax_Activities_IntermediateActivities_ActivityNodeType) = result23 -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ActivityNode --super class FUNCTIONS FUML_Syntax_Classes_Kernel_RedefinableElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_StructuralFeatureAction --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_CallBehaviorAction --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_WriteStructuralFeatureAction --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_ValueSpecificationAction --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_SendSignalAction --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_InputPin --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_DecisionNode --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_Action --sub class FUNCTIONS FUML_Syntax_Activities_CompleteStructuredActivities_ExecutableNode --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_CreateObjectAction --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_InitialNode --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_Pin --sub class FUNCTIONS FUML_Syntax_Activities_CompleteStructuredActivities_StructuredActivityNode --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_OutputPin --sub class FUNCTIONS FUML_Syntax_Actions_CompleteActions_AcceptEventAction --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_FinalNode --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ControlNode --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_AddStructuralFeatureValueAction --sub class FUNCTIONS FUML_Syntax_Actions_CompleteActions_StartObjectBehaviorAction --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ForkNode --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_ClearStructuralFeatureAction --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_CallAction --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_FlowFinalNode --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_ReadSelfAction --sub class FUNCTIONS FUML_Syntax_Actions_BasicActions_InvocationAction --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_MergeNode --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ObjectNode --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_ReadStructuralFeatureAction --sub class FUNCTIONS FUML_Syntax_Actions_IntermediateActions_RemoveStructuralFeatureValueAction ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_Classes_Kernel_Slot -- ( FUML_Syntax_Classes_Kernel_Slot_definingFeature {FUML_Syntax_Classes_Kernel_Slot_value}) data FUML_Syntax_Classes_Kernel_Slot = FUML_Syntax_Classes_Kernel_Slot String FUML_Syntax_Classes_Kernel_Feature {FUML_Syntax_Classes_Kernel_ValueSpecification} | FUML_Syntax_Classes_Kernel_SlotEmpty instance AsmTerm FUML_Syntax_Classes_Kernel_Slot where asmDefault = FUML_Syntax_Classes_Kernel_SlotEmpty instance Ord FUML_Syntax_Classes_Kernel_Slot where (<=) (FUML_Syntax_Classes_Kernel_Slot axmiId adefiningFeature1 avalue2) (FUML_Syntax_Classes_Kernel_Slot bxmiId bdefiningFeature1 bvalue2) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_Classes_Kernel_SlotEmpty) (FUML_Syntax_Classes_Kernel_Slot bxmiId bdefiningFeature1 bvalue2) = True (<=) (FUML_Syntax_Classes_Kernel_Slot axmiId adefiningFeature1 avalue2) (FUML_Syntax_Classes_Kernel_SlotEmpty) = False (<=) (FUML_Syntax_Classes_Kernel_SlotEmpty) (FUML_Syntax_Classes_Kernel_SlotEmpty) = True instance Eq FUML_Syntax_Classes_Kernel_Slot where (==) (FUML_Syntax_Classes_Kernel_Slot axmiId adefiningFeature1 avalue2) (FUML_Syntax_Classes_Kernel_Slot bxmiId bdefiningFeature1 bvalue2) = (axmiId == bxmiId) (==) (FUML_Syntax_Classes_Kernel_SlotEmpty) (FUML_Syntax_Classes_Kernel_Slot bxmiId bdefiningFeature1 bvalue2) = False (==) (FUML_Syntax_Classes_Kernel_Slot axmiId adefiningFeature1 avalue2) (FUML_Syntax_Classes_Kernel_SlotEmpty) = False (==) (FUML_Syntax_Classes_Kernel_SlotEmpty) (FUML_Syntax_Classes_Kernel_SlotEmpty) = True -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Syntax_Classes_Kernel_Slot -- property - association with opposite side navigable (slot) mandatory lower(1) - User must define a BODY -- function_Slot_owningInstance :: FUML_Syntax_Classes_Kernel_Slot -> FUML_Syntax_Classes_Kernel_InstanceSpecification -- property generated definingFeature StructuralFeature function_Slot_definingFeature :: FUML_Syntax_Classes_Kernel_Slot -> FUML_Syntax_Classes_Kernel_Feature function_Slot_definingFeature (FUML_Syntax_Classes_Kernel_Slot xmiId definingFeature1 value2) = definingFeature1 -- property generated value ValueSpecification function_Slot_value :: FUML_Syntax_Classes_Kernel_Slot -> {FUML_Syntax_Classes_Kernel_ValueSpecification} function_Slot_value (FUML_Syntax_Classes_Kernel_Slot xmiId definingFeature1 value2) = value2 --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_Classes_Kernel_Slot --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -- sub classes TYPES data FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType = FUML_Syntax_Activities_IntermediateActivities_ObjectFlow | FUML_Syntax_Activities_IntermediateActivities_ControlFlow instance AsmTerm FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType where asmDefault = FUML_Syntax_Activities_IntermediateActivities_ObjectFlow instance Ord FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType] list = [FUML_Syntax_Activities_IntermediateActivities_ObjectFlow,FUML_Syntax_Activities_IntermediateActivities_ControlFlow] findPos :: [FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType] -> FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType where (==) = genericEq -- ( FUML_Syntax_Activities_IntermediateActivities_ActivityEdge_guard FUML_Syntax_Classes_Kernel_NamedElement_name FUML_Syntax_Classes_Kernel_NamedElement_visibility FUML_Syntax_Classes_Kernel_RedefinableElement_isLeaf) data FUML_Syntax_Activities_IntermediateActivities_ActivityEdge = FUML_Syntax_Activities_IntermediateActivities_ActivityEdge String FUML_Syntax_Classes_Kernel_ValueSpecification String FUML_Syntax_Classes_Kernel_VisibilityKind Bool FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType | FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty instance AsmTerm FUML_Syntax_Activities_IntermediateActivities_ActivityEdge where asmDefault = FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty instance Ord FUML_Syntax_Activities_IntermediateActivities_ActivityEdge where (<=) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge axmiId aguard1 aname2 avisibility3 aisLeaf4 afUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge bxmiId bguard1 bname2 bvisibility3 bisLeaf4 bfUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge bxmiId bguard1 bname2 bvisibility3 bisLeaf4 bfUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) = True (<=) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge axmiId aguard1 aname2 avisibility3 aisLeaf4 afUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty) = False (<=) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty) = True instance Eq FUML_Syntax_Activities_IntermediateActivities_ActivityEdge where (==) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge axmiId aguard1 aname2 avisibility3 aisLeaf4 afUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge bxmiId bguard1 bname2 bvisibility3 bisLeaf4 bfUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) = (axmiId == bxmiId) (==) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge bxmiId bguard1 bname2 bvisibility3 bisLeaf4 bfUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) = False (==) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge axmiId aguard1 aname2 avisibility3 aisLeaf4 afUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty) = False (==) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty) (FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty) = True instance Text FUML_Syntax_Activities_IntermediateActivities_ActivityEdge where showsPrec i FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty = showString("FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeEmpty") showsPrec i (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge xmiId guard1 name2 visibility3 isLeaf4 fUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) = showString(show fUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType ++ " name = " ++ name2 ) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_ActivityEdge_type :: FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -> FUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType function_ActivityEdge_type (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge xmiId guard1 name2 visibility3 isLeaf4 fUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) = fUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType --class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -- property - association with opposite side navigable (edge) - User can define a BODY -- function_ActivityEdge_activity :: FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -> FUML_Syntax_Classes_Kernel_Classifier -- property - association with opposite side navigable (outgoing) mandatory lower(1) - User must define a BODY -- function_ActivityEdge_source :: FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode -- property - association with opposite side navigable (incoming) mandatory lower(1) - User must define a BODY -- function_ActivityEdge_target :: FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode -- property generated guard ValueSpecification function_ActivityEdge_guard :: FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -> FUML_Syntax_Classes_Kernel_ValueSpecification function_ActivityEdge_guard (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge xmiId guard1 name2 visibility3 isLeaf4 fUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) = guard1 -- property - association with opposite side navigable (edge) - User can define a BODY -- function_ActivityEdge_inStructuredNode :: FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -> FUML_Syntax_Activities_IntermediateActivities_ActivityNode --super class FUNCTIONS FUML_Syntax_Classes_Kernel_RedefinableElement -- property generated isLeaf Boolean function_ActivityEdge_RedefinableElement_isLeaf :: FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -> Bool function_ActivityEdge_RedefinableElement_isLeaf (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge xmiId guard1 name2 visibility3 isLeaf4 fUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) = isLeaf4 -- property not generated (DERIVED PROPERTY) redefinedElement RedefinableElement -- property not generated (DERIVED PROPERTY) redefinitionContext Classifier --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement -- property generated name String function_ActivityEdge_NamedElement_name :: FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -> String function_ActivityEdge_NamedElement_name (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge xmiId guard1 name2 visibility3 isLeaf4 fUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) = name2 -- property generated visibility VisibilityKind function_ActivityEdge_NamedElement_visibility :: FUML_Syntax_Activities_IntermediateActivities_ActivityEdge -> FUML_Syntax_Classes_Kernel_VisibilityKind function_ActivityEdge_NamedElement_visibility (FUML_Syntax_Activities_IntermediateActivities_ActivityEdge xmiId guard1 name2 visibility3 isLeaf4 fUML_Syntax_Activities_IntermediateActivities_ActivityEdgeType) = visibility3 -- property not generated (DERIVED PROPERTY) qualifiedName String -- property not generated (DERIVED PROPERTY) namespace Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ObjectFlow --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ControlFlow -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ActivityEdge --super class FUNCTIONS FUML_Syntax_Classes_Kernel_RedefinableElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ObjectFlow --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_ControlFlow ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_CommonBehaviors_Communications_Trigger -- ( FUML_Syntax_Classes_Kernel_NamedElement_name FUML_Syntax_Classes_Kernel_NamedElement_visibility FUML_Syntax_CommonBehaviors_Communications_Trigger_event) data FUML_Syntax_CommonBehaviors_Communications_Trigger = FUML_Syntax_CommonBehaviors_Communications_Trigger String String FUML_Syntax_Classes_Kernel_VisibilityKind FUML_Syntax_CommonBehaviors_Communications_Event | FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty instance AsmTerm FUML_Syntax_CommonBehaviors_Communications_Trigger where asmDefault = FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty instance Ord FUML_Syntax_CommonBehaviors_Communications_Trigger where (<=) (FUML_Syntax_CommonBehaviors_Communications_Trigger axmiId aname1 avisibility2 aevent3) (FUML_Syntax_CommonBehaviors_Communications_Trigger bxmiId bname1 bvisibility2 bevent3) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty) (FUML_Syntax_CommonBehaviors_Communications_Trigger bxmiId bname1 bvisibility2 bevent3) = True (<=) (FUML_Syntax_CommonBehaviors_Communications_Trigger axmiId aname1 avisibility2 aevent3) (FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty) = False (<=) (FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty) (FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty) = True instance Eq FUML_Syntax_CommonBehaviors_Communications_Trigger where (==) (FUML_Syntax_CommonBehaviors_Communications_Trigger axmiId aname1 avisibility2 aevent3) (FUML_Syntax_CommonBehaviors_Communications_Trigger bxmiId bname1 bvisibility2 bevent3) = (axmiId == bxmiId) (==) (FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty) (FUML_Syntax_CommonBehaviors_Communications_Trigger bxmiId bname1 bvisibility2 bevent3) = False (==) (FUML_Syntax_CommonBehaviors_Communications_Trigger axmiId aname1 avisibility2 aevent3) (FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty) = False (==) (FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty) (FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty) = True instance Text FUML_Syntax_CommonBehaviors_Communications_Trigger where showsPrec i FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty = showString("FUML_Syntax_CommonBehaviors_Communications_TriggerEmpty") showsPrec i (FUML_Syntax_CommonBehaviors_Communications_Trigger xmiId name1 visibility2 event3) = showString(show "FUML_Syntax_CommonBehaviors_Communications_Trigger: " ++ " name = " ++ name1 ) -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_Trigger -- property generated event Event function_Trigger_event :: FUML_Syntax_CommonBehaviors_Communications_Trigger -> FUML_Syntax_CommonBehaviors_Communications_Event function_Trigger_event (FUML_Syntax_CommonBehaviors_Communications_Trigger xmiId name1 visibility2 event3) = event3 --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement -- property generated name String function_Trigger_NamedElement_name :: FUML_Syntax_CommonBehaviors_Communications_Trigger -> String function_Trigger_NamedElement_name (FUML_Syntax_CommonBehaviors_Communications_Trigger xmiId name1 visibility2 event3) = name1 -- property generated visibility VisibilityKind function_Trigger_NamedElement_visibility :: FUML_Syntax_CommonBehaviors_Communications_Trigger -> FUML_Syntax_Classes_Kernel_VisibilityKind function_Trigger_NamedElement_visibility (FUML_Syntax_CommonBehaviors_Communications_Trigger xmiId name1 visibility2 event3) = visibility2 -- property not generated (DERIVED PROPERTY) qualifiedName String -- property not generated (DERIVED PROPERTY) namespace Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_Trigger --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_Classes_Kernel_Classifier -- sub classes TYPES data FUML_Syntax_Classes_Kernel_ClassifierType = FUML_Syntax_Classes_Kernel_Class | FUML_Syntax_CommonBehaviors_BasicBehaviors_FunctionBehavior | FUML_Syntax_Classes_Kernel_DataType | FUML_Syntax_Extensions_CompositeStructures_StructuredClassifier | FUML_Syntax_CommonBehaviors_Communications_Signal | FUML_Syntax_Classes_Kernel_PrimitiveType | FUML_Syntax_Extensions_CompositeStructures_EncapsulatedClassifier | FUML_Syntax_Activities_IntermediateActivities_Activity | FUML_Syntax_CommonBehaviors_BasicBehaviors_OpaqueBehavior | FUML_Syntax_Classes_Kernel_Association instance AsmTerm FUML_Syntax_Classes_Kernel_ClassifierType where asmDefault = FUML_Syntax_Classes_Kernel_Class instance Ord FUML_Syntax_Classes_Kernel_ClassifierType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_Classes_Kernel_ClassifierType] list = [FUML_Syntax_Classes_Kernel_Class,FUML_Syntax_CommonBehaviors_BasicBehaviors_FunctionBehavior,FUML_Syntax_Classes_Kernel_DataType,FUML_Syntax_Extensions_CompositeStructures_StructuredClassifier,FUML_Syntax_CommonBehaviors_Communications_Signal,FUML_Syntax_Classes_Kernel_PrimitiveType,FUML_Syntax_Extensions_CompositeStructures_EncapsulatedClassifier,FUML_Syntax_Activities_IntermediateActivities_Activity,FUML_Syntax_CommonBehaviors_BasicBehaviors_OpaqueBehavior,FUML_Syntax_Classes_Kernel_Association] findPos :: [FUML_Syntax_Classes_Kernel_ClassifierType] -> FUML_Syntax_Classes_Kernel_ClassifierType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Syntax_Classes_Kernel_ClassifierType where (==) = genericEq -- ( FUML_Syntax_Activities_IntermediateActivities_Activity_isReadOnly FUML_Syntax_Classes_Kernel_Association_isDerived {FUML_Syntax_Classes_Kernel_Association_navigableOwnedEnd} FUML_Syntax_CommonBehaviors_BasicBehaviors_BehavioredClassifier_classifierBehavior {FUML_Syntax_CommonBehaviors_BasicBehaviors_BehavioredClassifier_ownedBehavior} FUML_Syntax_CommonBehaviors_BasicBehaviors_Behavior_isReentrant {FUML_Syntax_CommonBehaviors_BasicBehaviors_Behavior_ownedParameter} FUML_Syntax_Classes_Kernel_Classifier_isAbstract FUML_Syntax_Classes_Kernel_Classifier_isFinalSpecialization FUML_Syntax_Classes_Kernel_Class_isActive {FUML_Syntax_Classes_Kernel_Class_nestedClassifier} {FUML_Syntax_Classes_Kernel_Class_ownedReception} {FUML_Syntax_Extensions_CompositeStructures_EncapsulatedClassifier_ownedPort} FUML_Syntax_Classes_Kernel_NamedElement_name FUML_Syntax_Classes_Kernel_NamedElement_visibility [FUML_Syntax_CommonBehaviors_BasicBehaviors_OpaqueBehavior_body] {FUML_Syntax_CommonBehaviors_BasicBehaviors_OpaqueBehavior_language} FUML_Syntax_Classes_Kernel_PackageableElement_visibility {FUML_Syntax_CommonBehaviors_Communications_Signal_ownedAttribute} {FUML_Syntax_Extensions_CompositeStructures_StructuredClassifier_ownedAttribute} {FUML_Syntax_Extensions_CompositeStructures_StructuredClassifier_ownedConnector}) data FUML_Syntax_Classes_Kernel_Classifier = FUML_Syntax_Classes_Kernel_Classifier String Bool Bool {FUML_Syntax_Classes_Kernel_Feature} FUML_Syntax_Classes_Kernel_Classifier {FUML_Syntax_Classes_Kernel_Classifier} Bool {FUML_Syntax_Classes_Kernel_Parameter} Bool Bool Bool {FUML_Syntax_Classes_Kernel_Classifier} {FUML_Syntax_Classes_Kernel_Feature} {FUML_Syntax_Classes_Kernel_Feature} String FUML_Syntax_Classes_Kernel_VisibilityKind [String ] {String } FUML_Syntax_Classes_Kernel_VisibilityKind {FUML_Syntax_Classes_Kernel_Feature} {FUML_Syntax_Classes_Kernel_Feature} {FUML_Syntax_Classes_Kernel_Feature} FUML_Syntax_Classes_Kernel_ClassifierType | FUML_Syntax_Classes_Kernel_ClassifierEmpty instance AsmTerm FUML_Syntax_Classes_Kernel_Classifier where asmDefault = FUML_Syntax_Classes_Kernel_ClassifierEmpty instance Ord FUML_Syntax_Classes_Kernel_Classifier where (<=) (FUML_Syntax_Classes_Kernel_Classifier axmiId aisReadOnly1 aisDerived2 anavigableOwnedEnd3 aclassifierBehavior4 aownedBehavior5 aisReentrant6 aownedParameter7 aisAbstract8 aisFinalSpecialization9 aisActive10 anestedClassifier11 aownedReception12 aownedPort13 aname14 avisibility15 abody16 alanguage17 avisibility18 aownedAttribute19 aownedAttribute20 aownedConnector21 afUML_Syntax_Classes_Kernel_ClassifierType) (FUML_Syntax_Classes_Kernel_Classifier bxmiId bisReadOnly1 bisDerived2 bnavigableOwnedEnd3 bclassifierBehavior4 bownedBehavior5 bisReentrant6 bownedParameter7 bisAbstract8 bisFinalSpecialization9 bisActive10 bnestedClassifier11 bownedReception12 bownedPort13 bname14 bvisibility15 bbody16 blanguage17 bvisibility18 bownedAttribute19 bownedAttribute20 bownedConnector21 bfUML_Syntax_Classes_Kernel_ClassifierType) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_Classes_Kernel_ClassifierEmpty) (FUML_Syntax_Classes_Kernel_Classifier bxmiId bisReadOnly1 bisDerived2 bnavigableOwnedEnd3 bclassifierBehavior4 bownedBehavior5 bisReentrant6 bownedParameter7 bisAbstract8 bisFinalSpecialization9 bisActive10 bnestedClassifier11 bownedReception12 bownedPort13 bname14 bvisibility15 bbody16 blanguage17 bvisibility18 bownedAttribute19 bownedAttribute20 bownedConnector21 bfUML_Syntax_Classes_Kernel_ClassifierType) = True (<=) (FUML_Syntax_Classes_Kernel_Classifier axmiId aisReadOnly1 aisDerived2 anavigableOwnedEnd3 aclassifierBehavior4 aownedBehavior5 aisReentrant6 aownedParameter7 aisAbstract8 aisFinalSpecialization9 aisActive10 anestedClassifier11 aownedReception12 aownedPort13 aname14 avisibility15 abody16 alanguage17 avisibility18 aownedAttribute19 aownedAttribute20 aownedConnector21 afUML_Syntax_Classes_Kernel_ClassifierType) (FUML_Syntax_Classes_Kernel_ClassifierEmpty) = False (<=) (FUML_Syntax_Classes_Kernel_ClassifierEmpty) (FUML_Syntax_Classes_Kernel_ClassifierEmpty) = True instance Eq FUML_Syntax_Classes_Kernel_Classifier where (==) (FUML_Syntax_Classes_Kernel_Classifier axmiId aisReadOnly1 aisDerived2 anavigableOwnedEnd3 aclassifierBehavior4 aownedBehavior5 aisReentrant6 aownedParameter7 aisAbstract8 aisFinalSpecialization9 aisActive10 anestedClassifier11 aownedReception12 aownedPort13 aname14 avisibility15 abody16 alanguage17 avisibility18 aownedAttribute19 aownedAttribute20 aownedConnector21 afUML_Syntax_Classes_Kernel_ClassifierType) (FUML_Syntax_Classes_Kernel_Classifier bxmiId bisReadOnly1 bisDerived2 bnavigableOwnedEnd3 bclassifierBehavior4 bownedBehavior5 bisReentrant6 bownedParameter7 bisAbstract8 bisFinalSpecialization9 bisActive10 bnestedClassifier11 bownedReception12 bownedPort13 bname14 bvisibility15 bbody16 blanguage17 bvisibility18 bownedAttribute19 bownedAttribute20 bownedConnector21 bfUML_Syntax_Classes_Kernel_ClassifierType) = (axmiId == bxmiId) (==) (FUML_Syntax_Classes_Kernel_ClassifierEmpty) (FUML_Syntax_Classes_Kernel_Classifier bxmiId bisReadOnly1 bisDerived2 bnavigableOwnedEnd3 bclassifierBehavior4 bownedBehavior5 bisReentrant6 bownedParameter7 bisAbstract8 bisFinalSpecialization9 bisActive10 bnestedClassifier11 bownedReception12 bownedPort13 bname14 bvisibility15 bbody16 blanguage17 bvisibility18 bownedAttribute19 bownedAttribute20 bownedConnector21 bfUML_Syntax_Classes_Kernel_ClassifierType) = False (==) (FUML_Syntax_Classes_Kernel_Classifier axmiId aisReadOnly1 aisDerived2 anavigableOwnedEnd3 aclassifierBehavior4 aownedBehavior5 aisReentrant6 aownedParameter7 aisAbstract8 aisFinalSpecialization9 aisActive10 anestedClassifier11 aownedReception12 aownedPort13 aname14 avisibility15 abody16 alanguage17 avisibility18 aownedAttribute19 aownedAttribute20 aownedConnector21 afUML_Syntax_Classes_Kernel_ClassifierType) (FUML_Syntax_Classes_Kernel_ClassifierEmpty) = False (==) (FUML_Syntax_Classes_Kernel_ClassifierEmpty) (FUML_Syntax_Classes_Kernel_ClassifierEmpty) = True instance Text FUML_Syntax_Classes_Kernel_Classifier where showsPrec i FUML_Syntax_Classes_Kernel_ClassifierEmpty = showString("FUML_Syntax_Classes_Kernel_ClassifierEmpty") showsPrec i (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = showString(show fUML_Syntax_Classes_Kernel_ClassifierType ++ " name = " ++ name14 ) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_Classifier_type :: FUML_Syntax_Classes_Kernel_Classifier -> FUML_Syntax_Classes_Kernel_ClassifierType function_Classifier_type (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = fUML_Syntax_Classes_Kernel_ClassifierType --class FUNCTIONS FUML_Syntax_Classes_Kernel_Classifier -- property generated isAbstract Boolean function_Classifier_isAbstract :: FUML_Syntax_Classes_Kernel_Classifier -> Bool function_Classifier_isAbstract (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = isAbstract8 -- property not generated (TYPE IS NOT IN THE CLOSED SET) generalization Generalization -- property not generated (DERIVED PROPERTY) feature Feature -- property not generated (DERIVED PROPERTY) inheritedMember NamedElement -- property not generated (DERIVED PROPERTY) attribute Property -- property not generated (DERIVED PROPERTY) general Classifier -- property generated isFinalSpecialization Boolean function_Classifier_isFinalSpecialization :: FUML_Syntax_Classes_Kernel_Classifier -> Bool function_Classifier_isFinalSpecialization (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = isFinalSpecialization9 --super class FUNCTIONS FUML_Syntax_Classes_Kernel_PackageableElement -- property generated visibility VisibilityKind function_Classifier_PackageableElement_visibility :: FUML_Syntax_Classes_Kernel_Classifier -> FUML_Syntax_Classes_Kernel_VisibilityKind function_Classifier_PackageableElement_visibility (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = visibility18 --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Namespace -- property not generated (DERIVED PROPERTY) member NamedElement -- property not generated (DERIVED PROPERTY) ownedMember NamedElement -- property not generated (TYPE IS NOT IN THE CLOSED SET) elementImport ElementImport -- property not generated (TYPE IS NOT IN THE CLOSED SET) packageImport PackageImport -- property not generated (DERIVED PROPERTY) importedMember PackageableElement -- property - association with opposite side navigable (context) - User can define a BODY -- function_Classifier_Namespace_ownedRule :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Extensions_Classes_Kernel_Constraint} --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Type -- property not generated (TYPE IS NOT IN THE CLOSED SET) package Package --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement -- property generated name String function_Classifier_NamedElement_name :: FUML_Syntax_Classes_Kernel_Classifier -> String function_Classifier_NamedElement_name (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = name14 -- property generated visibility VisibilityKind function_Classifier_NamedElement_visibility :: FUML_Syntax_Classes_Kernel_Classifier -> FUML_Syntax_Classes_Kernel_VisibilityKind function_Classifier_NamedElement_visibility (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = visibility15 -- property not generated (DERIVED PROPERTY) qualifiedName String -- property not generated (DERIVED PROPERTY) namespace Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_BasicBehaviors_BehavioredClassifier -- property generated ownedBehavior Behavior function_Classifier_BehavioredClassifier_ownedBehavior :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Classifier} function_Classifier_BehavioredClassifier_ownedBehavior (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = ownedBehavior5 -- property generated classifierBehavior Behavior function_Classifier_BehavioredClassifier_classifierBehavior :: FUML_Syntax_Classes_Kernel_Classifier -> FUML_Syntax_Classes_Kernel_Classifier function_Classifier_BehavioredClassifier_classifierBehavior (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = classifierBehavior4 --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_BasicBehaviors_Behavior -- property generated isReentrant Boolean function_Classifier_Behavior_isReentrant :: FUML_Syntax_Classes_Kernel_Classifier -> Bool function_Classifier_Behavior_isReentrant (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = isReentrant6 -- property - association with opposite side navigable (method) - User can define a BODY -- function_Classifier_Behavior_specification :: FUML_Syntax_Classes_Kernel_Classifier -> FUML_Syntax_Classes_Kernel_Feature -- property generated ownedParameter Parameter function_Classifier_Behavior_ownedParameter :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Parameter} function_Classifier_Behavior_ownedParameter (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = ownedParameter7 -- property not generated (DERIVED PROPERTY) context BehavioredClassifier --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_Class -- property - association with opposite side navigable (class) - User can define a BODY -- function_Classifier_Class_ownedOperation :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} -- property generated isActive Boolean function_Classifier_Class_isActive :: FUML_Syntax_Classes_Kernel_Classifier -> Bool function_Classifier_Class_isActive (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = isActive10 -- property generated ownedReception Reception function_Classifier_Class_ownedReception :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} function_Classifier_Class_ownedReception (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = ownedReception12 -- property - association with opposite side navigable (class) - User can define a BODY -- function_Classifier_Class_ownedAttribute :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} -- property generated nestedClassifier Classifier function_Classifier_Class_nestedClassifier :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Classifier} function_Classifier_Class_nestedClassifier (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = nestedClassifier11 -- property not generated (DERIVED PROPERTY) superClass Class --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_BasicBehaviors_FunctionBehavior --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_DataType -- property - association with opposite side navigable (datatype) - User can define a BODY -- function_Classifier_DataType_ownedAttribute :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_Signal -- property generated ownedAttribute Property function_Classifier_Signal_ownedAttribute :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} function_Classifier_Signal_ownedAttribute (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = ownedAttribute19 --sub class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_StructuredClassifier -- property generated ownedConnector Connector function_Classifier_StructuredClassifier_ownedConnector :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} function_Classifier_StructuredClassifier_ownedConnector (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = ownedConnector21 -- property not generated (DERIVED PROPERTY) role ConnectableElement -- property generated ownedAttribute Property function_Classifier_StructuredClassifier_ownedAttribute :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} function_Classifier_StructuredClassifier_ownedAttribute (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = ownedAttribute20 -- property not generated (DERIVED PROPERTY) part Property --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_PrimitiveType --sub class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_EncapsulatedClassifier -- property generated ownedPort Port function_Classifier_EncapsulatedClassifier_ownedPort :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} function_Classifier_EncapsulatedClassifier_ownedPort (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = ownedPort13 --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_Activity -- property not generated (DERIVED PROPERTY) structuredNode StructuredActivityNode -- property - association with opposite side navigable (activity) - User can define a BODY -- function_Classifier_Activity_node :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Activities_IntermediateActivities_ActivityNode} -- property generated isReadOnly Boolean function_Classifier_Activity_isReadOnly :: FUML_Syntax_Classes_Kernel_Classifier -> Bool function_Classifier_Activity_isReadOnly (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = isReadOnly1 -- property - association with opposite side navigable (activity) - User can define a BODY -- function_Classifier_Activity_edge :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Activities_IntermediateActivities_ActivityEdge} --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_Association -- property generated isDerived Boolean function_Classifier_Association_isDerived :: FUML_Syntax_Classes_Kernel_Classifier -> Bool function_Classifier_Association_isDerived (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = isDerived2 -- property - association with opposite side navigable (owningAssociation) - User can define a BODY -- function_Classifier_Association_ownedEnd :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} -- property not generated (DERIVED PROPERTY) endType Type -- property - association with opposite side navigable (association) mandatory lower(2) - User must define a BODY -- function_Classifier_Association_memberEnd :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} -- property generated navigableOwnedEnd Property function_Classifier_Association_navigableOwnedEnd :: FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Syntax_Classes_Kernel_Feature} function_Classifier_Association_navigableOwnedEnd (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = navigableOwnedEnd3 --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_BasicBehaviors_OpaqueBehavior -- property generated body String function_Classifier_OpaqueBehavior_body :: FUML_Syntax_Classes_Kernel_Classifier -> [String ] function_Classifier_OpaqueBehavior_body (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = body16 -- property generated language String function_Classifier_OpaqueBehavior_language :: FUML_Syntax_Classes_Kernel_Classifier -> {String } function_Classifier_OpaqueBehavior_language (FUML_Syntax_Classes_Kernel_Classifier xmiId isReadOnly1 isDerived2 navigableOwnedEnd3 classifierBehavior4 ownedBehavior5 isReentrant6 ownedParameter7 isAbstract8 isFinalSpecialization9 isActive10 nestedClassifier11 ownedReception12 ownedPort13 name14 visibility15 body16 language17 visibility18 ownedAttribute19 ownedAttribute20 ownedConnector21 fUML_Syntax_Classes_Kernel_ClassifierType) = language17 -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_Classes_Kernel_Classifier --super class FUNCTIONS FUML_Syntax_Classes_Kernel_PackageableElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Type --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_BasicBehaviors_BehavioredClassifier --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_BasicBehaviors_Behavior --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_Class --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_BasicBehaviors_FunctionBehavior --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_DataType --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_Signal --sub class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_StructuredClassifier --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_PrimitiveType --sub class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_EncapsulatedClassifier --sub class FUNCTIONS FUML_Syntax_Activities_IntermediateActivities_Activity --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_Association --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_BasicBehaviors_OpaqueBehavior ------------------------------------------------------------------------------------------------------------------------------------------------------------ data FUML_Syntax_Classes_Kernel_AggregationKind = FUML_Syntax_Classes_Kernel_AggregationKind_none | FUML_Syntax_Classes_Kernel_AggregationKind_shared | FUML_Syntax_Classes_Kernel_AggregationKind_composite instance AsmTerm FUML_Syntax_Classes_Kernel_AggregationKind where asmDefault = FUML_Syntax_Classes_Kernel_AggregationKind_none instance Ord FUML_Syntax_Classes_Kernel_AggregationKind where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_Classes_Kernel_AggregationKind] list = [ FUML_Syntax_Classes_Kernel_AggregationKind_none, FUML_Syntax_Classes_Kernel_AggregationKind_shared, FUML_Syntax_Classes_Kernel_AggregationKind_composite] findPos :: [FUML_Syntax_Classes_Kernel_AggregationKind] -> FUML_Syntax_Classes_Kernel_AggregationKind -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_Classes_Kernel_InstanceSpecification -- ( {FUML_Syntax_Classes_Kernel_InstanceSpecification_classifier} FUML_Syntax_Classes_Kernel_NamedElement_name FUML_Syntax_Classes_Kernel_NamedElement_visibility) data FUML_Syntax_Classes_Kernel_InstanceSpecification = FUML_Syntax_Classes_Kernel_InstanceSpecification String {FUML_Syntax_Classes_Kernel_Classifier} String FUML_Syntax_Classes_Kernel_VisibilityKind | FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty instance AsmTerm FUML_Syntax_Classes_Kernel_InstanceSpecification where asmDefault = FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty instance Ord FUML_Syntax_Classes_Kernel_InstanceSpecification where (<=) (FUML_Syntax_Classes_Kernel_InstanceSpecification axmiId aclassifier1 aname2 avisibility3) (FUML_Syntax_Classes_Kernel_InstanceSpecification bxmiId bclassifier1 bname2 bvisibility3) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty) (FUML_Syntax_Classes_Kernel_InstanceSpecification bxmiId bclassifier1 bname2 bvisibility3) = True (<=) (FUML_Syntax_Classes_Kernel_InstanceSpecification axmiId aclassifier1 aname2 avisibility3) (FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty) = False (<=) (FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty) (FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty) = True instance Eq FUML_Syntax_Classes_Kernel_InstanceSpecification where (==) (FUML_Syntax_Classes_Kernel_InstanceSpecification axmiId aclassifier1 aname2 avisibility3) (FUML_Syntax_Classes_Kernel_InstanceSpecification bxmiId bclassifier1 bname2 bvisibility3) = (axmiId == bxmiId) (==) (FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty) (FUML_Syntax_Classes_Kernel_InstanceSpecification bxmiId bclassifier1 bname2 bvisibility3) = False (==) (FUML_Syntax_Classes_Kernel_InstanceSpecification axmiId aclassifier1 aname2 avisibility3) (FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty) = False (==) (FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty) (FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty) = True instance Text FUML_Syntax_Classes_Kernel_InstanceSpecification where showsPrec i FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty = showString("FUML_Syntax_Classes_Kernel_InstanceSpecificationEmpty") showsPrec i (FUML_Syntax_Classes_Kernel_InstanceSpecification xmiId classifier1 name2 visibility3) = showString(show "FUML_Syntax_Classes_Kernel_InstanceSpecification: " ++ " name = " ++ name2 ) -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Syntax_Classes_Kernel_InstanceSpecification -- property generated classifier Classifier function_InstanceSpecification_classifier :: FUML_Syntax_Classes_Kernel_InstanceSpecification -> {FUML_Syntax_Classes_Kernel_Classifier} function_InstanceSpecification_classifier (FUML_Syntax_Classes_Kernel_InstanceSpecification xmiId classifier1 name2 visibility3) = classifier1 -- property - association with opposite side navigable (owningInstance) - User can define a BODY -- function_InstanceSpecification_slot :: FUML_Syntax_Classes_Kernel_InstanceSpecification -> {FUML_Syntax_Classes_Kernel_Slot} --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement -- property generated name String function_InstanceSpecification_NamedElement_name :: FUML_Syntax_Classes_Kernel_InstanceSpecification -> String function_InstanceSpecification_NamedElement_name (FUML_Syntax_Classes_Kernel_InstanceSpecification xmiId classifier1 name2 visibility3) = name2 -- property generated visibility VisibilityKind function_InstanceSpecification_NamedElement_visibility :: FUML_Syntax_Classes_Kernel_InstanceSpecification -> FUML_Syntax_Classes_Kernel_VisibilityKind function_InstanceSpecification_NamedElement_visibility (FUML_Syntax_Classes_Kernel_InstanceSpecification xmiId classifier1 name2 visibility3) = visibility3 -- property not generated (DERIVED PROPERTY) qualifiedName String -- property not generated (DERIVED PROPERTY) namespace Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_Classes_Kernel_InstanceSpecification --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element ------------------------------------------------------------------------------------------------------------------------------------------------------------ data FUML_Syntax_Classes_Kernel_ParameterDirectionKind = FUML_Syntax_Classes_Kernel_ParameterDirectionKind_in | FUML_Syntax_Classes_Kernel_ParameterDirectionKind_inout | FUML_Syntax_Classes_Kernel_ParameterDirectionKind_out | FUML_Syntax_Classes_Kernel_ParameterDirectionKind_return instance AsmTerm FUML_Syntax_Classes_Kernel_ParameterDirectionKind where asmDefault = FUML_Syntax_Classes_Kernel_ParameterDirectionKind_in instance Ord FUML_Syntax_Classes_Kernel_ParameterDirectionKind where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_Classes_Kernel_ParameterDirectionKind] list = [ FUML_Syntax_Classes_Kernel_ParameterDirectionKind_in, FUML_Syntax_Classes_Kernel_ParameterDirectionKind_inout, FUML_Syntax_Classes_Kernel_ParameterDirectionKind_out, FUML_Syntax_Classes_Kernel_ParameterDirectionKind_return] findPos :: [FUML_Syntax_Classes_Kernel_ParameterDirectionKind] -> FUML_Syntax_Classes_Kernel_ParameterDirectionKind -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_Classes_Kernel_ValueSpecification -- sub classes TYPES data FUML_Syntax_Classes_Kernel_ValueSpecificationType = FUML_Syntax_Classes_Kernel_LiteralBoolean | FUML_Syntax_Classes_Kernel_LiteralString | FUML_Syntax_Classes_Kernel_LiteralInteger | FUML_Syntax_Classes_Kernel_LiteralUnlimitedNatural | FUML_Syntax_Classes_Kernel_InstanceValue | FUML_Syntax_Classes_Kernel_LiteralReal | FUML_Syntax_Classes_Kernel_LiteralNull instance AsmTerm FUML_Syntax_Classes_Kernel_ValueSpecificationType where asmDefault = FUML_Syntax_Classes_Kernel_LiteralBoolean instance Ord FUML_Syntax_Classes_Kernel_ValueSpecificationType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_Classes_Kernel_ValueSpecificationType] list = [FUML_Syntax_Classes_Kernel_LiteralBoolean,FUML_Syntax_Classes_Kernel_LiteralString,FUML_Syntax_Classes_Kernel_LiteralInteger,FUML_Syntax_Classes_Kernel_LiteralUnlimitedNatural,FUML_Syntax_Classes_Kernel_InstanceValue,FUML_Syntax_Classes_Kernel_LiteralReal,FUML_Syntax_Classes_Kernel_LiteralNull] findPos :: [FUML_Syntax_Classes_Kernel_ValueSpecificationType] -> FUML_Syntax_Classes_Kernel_ValueSpecificationType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Syntax_Classes_Kernel_ValueSpecificationType where (==) = genericEq -- ( FUML_Syntax_Classes_Kernel_InstanceValue_instance FUML_Syntax_Classes_Kernel_LiteralBoolean_value FUML_Syntax_Classes_Kernel_LiteralInteger_value FUML_Syntax_Classes_Kernel_LiteralReal_value FUML_Syntax_Classes_Kernel_LiteralString_value FUML_Syntax_Classes_Kernel_LiteralUnlimitedNatural_value FUML_Syntax_Classes_Kernel_NamedElement_name FUML_Syntax_Classes_Kernel_NamedElement_visibility FUML_Syntax_Classes_Kernel_TypedElement_type) data FUML_Syntax_Classes_Kernel_ValueSpecification = FUML_Syntax_Classes_Kernel_ValueSpecification String FUML_Syntax_Classes_Kernel_InstanceSpecification Bool Int Float String Int String FUML_Syntax_Classes_Kernel_VisibilityKind FUML_Syntax_Classes_Kernel_Classifier FUML_Syntax_Classes_Kernel_ValueSpecificationType | FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty instance AsmTerm FUML_Syntax_Classes_Kernel_ValueSpecification where asmDefault = FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty instance Ord FUML_Syntax_Classes_Kernel_ValueSpecification where (<=) (FUML_Syntax_Classes_Kernel_ValueSpecification axmiId ainstance1 avalue2 avalue3 avalue4 avalue5 avalue6 aname7 avisibility8 atype9 afUML_Syntax_Classes_Kernel_ValueSpecificationType) (FUML_Syntax_Classes_Kernel_ValueSpecification bxmiId binstance1 bvalue2 bvalue3 bvalue4 bvalue5 bvalue6 bname7 bvisibility8 btype9 bfUML_Syntax_Classes_Kernel_ValueSpecificationType) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty) (FUML_Syntax_Classes_Kernel_ValueSpecification bxmiId binstance1 bvalue2 bvalue3 bvalue4 bvalue5 bvalue6 bname7 bvisibility8 btype9 bfUML_Syntax_Classes_Kernel_ValueSpecificationType) = True (<=) (FUML_Syntax_Classes_Kernel_ValueSpecification axmiId ainstance1 avalue2 avalue3 avalue4 avalue5 avalue6 aname7 avisibility8 atype9 afUML_Syntax_Classes_Kernel_ValueSpecificationType) (FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty) = False (<=) (FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty) (FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty) = True instance Eq FUML_Syntax_Classes_Kernel_ValueSpecification where (==) (FUML_Syntax_Classes_Kernel_ValueSpecification axmiId ainstance1 avalue2 avalue3 avalue4 avalue5 avalue6 aname7 avisibility8 atype9 afUML_Syntax_Classes_Kernel_ValueSpecificationType) (FUML_Syntax_Classes_Kernel_ValueSpecification bxmiId binstance1 bvalue2 bvalue3 bvalue4 bvalue5 bvalue6 bname7 bvisibility8 btype9 bfUML_Syntax_Classes_Kernel_ValueSpecificationType) = (axmiId == bxmiId) (==) (FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty) (FUML_Syntax_Classes_Kernel_ValueSpecification bxmiId binstance1 bvalue2 bvalue3 bvalue4 bvalue5 bvalue6 bname7 bvisibility8 btype9 bfUML_Syntax_Classes_Kernel_ValueSpecificationType) = False (==) (FUML_Syntax_Classes_Kernel_ValueSpecification axmiId ainstance1 avalue2 avalue3 avalue4 avalue5 avalue6 aname7 avisibility8 atype9 afUML_Syntax_Classes_Kernel_ValueSpecificationType) (FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty) = False (==) (FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty) (FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty) = True instance Text FUML_Syntax_Classes_Kernel_ValueSpecification where showsPrec i FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty = showString("FUML_Syntax_Classes_Kernel_ValueSpecificationEmpty") showsPrec i (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = showString(show fUML_Syntax_Classes_Kernel_ValueSpecificationType ++ " name = " ++ name7 ) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_ValueSpecification_type :: FUML_Syntax_Classes_Kernel_ValueSpecification -> FUML_Syntax_Classes_Kernel_ValueSpecificationType function_ValueSpecification_type (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = fUML_Syntax_Classes_Kernel_ValueSpecificationType --class FUNCTIONS FUML_Syntax_Classes_Kernel_ValueSpecification --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement -- property generated name String function_ValueSpecification_NamedElement_name :: FUML_Syntax_Classes_Kernel_ValueSpecification -> String function_ValueSpecification_NamedElement_name (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = name7 -- property generated visibility VisibilityKind function_ValueSpecification_NamedElement_visibility :: FUML_Syntax_Classes_Kernel_ValueSpecification -> FUML_Syntax_Classes_Kernel_VisibilityKind function_ValueSpecification_NamedElement_visibility (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = visibility8 -- property not generated (DERIVED PROPERTY) qualifiedName String -- property not generated (DERIVED PROPERTY) namespace Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment --super class FUNCTIONS FUML_Syntax_Classes_Kernel_TypedElement -- property generated type Type function_ValueSpecification_TypedElement_type :: FUML_Syntax_Classes_Kernel_ValueSpecification -> FUML_Syntax_Classes_Kernel_Classifier function_ValueSpecification_TypedElement_type (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = type9 --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralBoolean -- property generated value Boolean function_ValueSpecification_LiteralBoolean_value :: FUML_Syntax_Classes_Kernel_ValueSpecification -> Bool function_ValueSpecification_LiteralBoolean_value (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = value2 --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralString -- property generated value String function_ValueSpecification_LiteralString_value :: FUML_Syntax_Classes_Kernel_ValueSpecification -> String function_ValueSpecification_LiteralString_value (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = value5 --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralSpecification --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralInteger -- property generated value Integer function_ValueSpecification_LiteralInteger_value :: FUML_Syntax_Classes_Kernel_ValueSpecification -> Int function_ValueSpecification_LiteralInteger_value (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = value3 --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralUnlimitedNatural -- property generated value UnlimitedNatural function_ValueSpecification_LiteralUnlimitedNatural_value :: FUML_Syntax_Classes_Kernel_ValueSpecification -> Int function_ValueSpecification_LiteralUnlimitedNatural_value (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = value6 --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_InstanceValue -- property generated instance InstanceSpecification function_ValueSpecification_InstanceValue_instance :: FUML_Syntax_Classes_Kernel_ValueSpecification -> FUML_Syntax_Classes_Kernel_InstanceSpecification function_ValueSpecification_InstanceValue_instance (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = instance1 --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralReal -- property generated value Real function_ValueSpecification_LiteralReal_value :: FUML_Syntax_Classes_Kernel_ValueSpecification -> Float function_ValueSpecification_LiteralReal_value (FUML_Syntax_Classes_Kernel_ValueSpecification xmiId instance1 value2 value3 value4 value5 value6 name7 visibility8 type9 fUML_Syntax_Classes_Kernel_ValueSpecificationType) = value4 --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralNull -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_Classes_Kernel_ValueSpecification --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element --super class FUNCTIONS FUML_Syntax_Classes_Kernel_TypedElement --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralBoolean --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralString --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralSpecification --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralInteger --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralUnlimitedNatural --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_InstanceValue --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralReal --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_LiteralNull ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_CommonBehaviors_Communications_Event -- sub classes TYPES data FUML_Syntax_CommonBehaviors_Communications_EventType = FUML_Syntax_CommonBehaviors_Communications_SignalEvent instance AsmTerm FUML_Syntax_CommonBehaviors_Communications_EventType where asmDefault = FUML_Syntax_CommonBehaviors_Communications_SignalEvent instance Ord FUML_Syntax_CommonBehaviors_Communications_EventType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_CommonBehaviors_Communications_EventType] list = [FUML_Syntax_CommonBehaviors_Communications_SignalEvent] findPos :: [FUML_Syntax_CommonBehaviors_Communications_EventType] -> FUML_Syntax_CommonBehaviors_Communications_EventType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Syntax_CommonBehaviors_Communications_EventType where (==) = genericEq -- ( FUML_Syntax_Classes_Kernel_NamedElement_name FUML_Syntax_Classes_Kernel_NamedElement_visibility FUML_Syntax_Classes_Kernel_PackageableElement_visibility FUML_Syntax_CommonBehaviors_Communications_SignalEvent_signal) data FUML_Syntax_CommonBehaviors_Communications_Event = FUML_Syntax_CommonBehaviors_Communications_Event String String FUML_Syntax_Classes_Kernel_VisibilityKind FUML_Syntax_Classes_Kernel_VisibilityKind FUML_Syntax_Classes_Kernel_Classifier FUML_Syntax_CommonBehaviors_Communications_EventType | FUML_Syntax_CommonBehaviors_Communications_EventEmpty instance AsmTerm FUML_Syntax_CommonBehaviors_Communications_Event where asmDefault = FUML_Syntax_CommonBehaviors_Communications_EventEmpty instance Ord FUML_Syntax_CommonBehaviors_Communications_Event where (<=) (FUML_Syntax_CommonBehaviors_Communications_Event axmiId aname1 avisibility2 avisibility3 asignal4 afUML_Syntax_CommonBehaviors_Communications_EventType) (FUML_Syntax_CommonBehaviors_Communications_Event bxmiId bname1 bvisibility2 bvisibility3 bsignal4 bfUML_Syntax_CommonBehaviors_Communications_EventType) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_CommonBehaviors_Communications_EventEmpty) (FUML_Syntax_CommonBehaviors_Communications_Event bxmiId bname1 bvisibility2 bvisibility3 bsignal4 bfUML_Syntax_CommonBehaviors_Communications_EventType) = True (<=) (FUML_Syntax_CommonBehaviors_Communications_Event axmiId aname1 avisibility2 avisibility3 asignal4 afUML_Syntax_CommonBehaviors_Communications_EventType) (FUML_Syntax_CommonBehaviors_Communications_EventEmpty) = False (<=) (FUML_Syntax_CommonBehaviors_Communications_EventEmpty) (FUML_Syntax_CommonBehaviors_Communications_EventEmpty) = True instance Eq FUML_Syntax_CommonBehaviors_Communications_Event where (==) (FUML_Syntax_CommonBehaviors_Communications_Event axmiId aname1 avisibility2 avisibility3 asignal4 afUML_Syntax_CommonBehaviors_Communications_EventType) (FUML_Syntax_CommonBehaviors_Communications_Event bxmiId bname1 bvisibility2 bvisibility3 bsignal4 bfUML_Syntax_CommonBehaviors_Communications_EventType) = (axmiId == bxmiId) (==) (FUML_Syntax_CommonBehaviors_Communications_EventEmpty) (FUML_Syntax_CommonBehaviors_Communications_Event bxmiId bname1 bvisibility2 bvisibility3 bsignal4 bfUML_Syntax_CommonBehaviors_Communications_EventType) = False (==) (FUML_Syntax_CommonBehaviors_Communications_Event axmiId aname1 avisibility2 avisibility3 asignal4 afUML_Syntax_CommonBehaviors_Communications_EventType) (FUML_Syntax_CommonBehaviors_Communications_EventEmpty) = False (==) (FUML_Syntax_CommonBehaviors_Communications_EventEmpty) (FUML_Syntax_CommonBehaviors_Communications_EventEmpty) = True instance Text FUML_Syntax_CommonBehaviors_Communications_Event where showsPrec i FUML_Syntax_CommonBehaviors_Communications_EventEmpty = showString("FUML_Syntax_CommonBehaviors_Communications_EventEmpty") showsPrec i (FUML_Syntax_CommonBehaviors_Communications_Event xmiId name1 visibility2 visibility3 signal4 fUML_Syntax_CommonBehaviors_Communications_EventType) = showString(show fUML_Syntax_CommonBehaviors_Communications_EventType ++ " name = " ++ name1 ) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_Event_type :: FUML_Syntax_CommonBehaviors_Communications_Event -> FUML_Syntax_CommonBehaviors_Communications_EventType function_Event_type (FUML_Syntax_CommonBehaviors_Communications_Event xmiId name1 visibility2 visibility3 signal4 fUML_Syntax_CommonBehaviors_Communications_EventType) = fUML_Syntax_CommonBehaviors_Communications_EventType --class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_Event --super class FUNCTIONS FUML_Syntax_Classes_Kernel_PackageableElement -- property generated visibility VisibilityKind function_Event_PackageableElement_visibility :: FUML_Syntax_CommonBehaviors_Communications_Event -> FUML_Syntax_Classes_Kernel_VisibilityKind function_Event_PackageableElement_visibility (FUML_Syntax_CommonBehaviors_Communications_Event xmiId name1 visibility2 visibility3 signal4 fUML_Syntax_CommonBehaviors_Communications_EventType) = visibility3 --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement -- property generated name String function_Event_NamedElement_name :: FUML_Syntax_CommonBehaviors_Communications_Event -> String function_Event_NamedElement_name (FUML_Syntax_CommonBehaviors_Communications_Event xmiId name1 visibility2 visibility3 signal4 fUML_Syntax_CommonBehaviors_Communications_EventType) = name1 -- property generated visibility VisibilityKind function_Event_NamedElement_visibility :: FUML_Syntax_CommonBehaviors_Communications_Event -> FUML_Syntax_Classes_Kernel_VisibilityKind function_Event_NamedElement_visibility (FUML_Syntax_CommonBehaviors_Communications_Event xmiId name1 visibility2 visibility3 signal4 fUML_Syntax_CommonBehaviors_Communications_EventType) = visibility2 -- property not generated (DERIVED PROPERTY) qualifiedName String -- property not generated (DERIVED PROPERTY) namespace Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_SignalEvent -- property generated signal Signal function_Event_SignalEvent_signal :: FUML_Syntax_CommonBehaviors_Communications_Event -> FUML_Syntax_Classes_Kernel_Classifier function_Event_SignalEvent_signal (FUML_Syntax_CommonBehaviors_Communications_Event xmiId name1 visibility2 visibility3 signal4 fUML_Syntax_CommonBehaviors_Communications_EventType) = signal4 --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_MessageEvent -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_Event --super class FUNCTIONS FUML_Syntax_Classes_Kernel_PackageableElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_SignalEvent --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_MessageEvent ------------------------------------------------------------------------------------------------------------------------------------------------------------ data FUML_Syntax_Classes_Kernel_VisibilityKind = FUML_Syntax_Classes_Kernel_VisibilityKind_public | FUML_Syntax_Classes_Kernel_VisibilityKind_private | FUML_Syntax_Classes_Kernel_VisibilityKind_protected | FUML_Syntax_Classes_Kernel_VisibilityKind_package instance AsmTerm FUML_Syntax_Classes_Kernel_VisibilityKind where asmDefault = FUML_Syntax_Classes_Kernel_VisibilityKind_public instance Ord FUML_Syntax_Classes_Kernel_VisibilityKind where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_Classes_Kernel_VisibilityKind] list = [ FUML_Syntax_Classes_Kernel_VisibilityKind_public, FUML_Syntax_Classes_Kernel_VisibilityKind_private, FUML_Syntax_Classes_Kernel_VisibilityKind_protected, FUML_Syntax_Classes_Kernel_VisibilityKind_package] findPos :: [FUML_Syntax_Classes_Kernel_VisibilityKind] -> FUML_Syntax_Classes_Kernel_VisibilityKind -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) ------------------------------------------------------------------------------------------------------------------------------------------------------------ data FUML_Syntax_Extensions_CompositeStructures_ConnectorKind = FUML_Syntax_Extensions_CompositeStructures_ConnectorKind_assembly | FUML_Syntax_Extensions_CompositeStructures_ConnectorKind_delegation instance AsmTerm FUML_Syntax_Extensions_CompositeStructures_ConnectorKind where asmDefault = FUML_Syntax_Extensions_CompositeStructures_ConnectorKind_assembly instance Ord FUML_Syntax_Extensions_CompositeStructures_ConnectorKind where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_Extensions_CompositeStructures_ConnectorKind] list = [ FUML_Syntax_Extensions_CompositeStructures_ConnectorKind_assembly, FUML_Syntax_Extensions_CompositeStructures_ConnectorKind_delegation] findPos :: [FUML_Syntax_Extensions_CompositeStructures_ConnectorKind] -> FUML_Syntax_Extensions_CompositeStructures_ConnectorKind -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd -- ( FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd_partWithPort FUML_Syntax_Classes_Kernel_MultiplicityElement_isOrdered FUML_Syntax_Classes_Kernel_MultiplicityElement_isUnique FUML_Syntax_Classes_Kernel_MultiplicityElement_lowerValue FUML_Syntax_Classes_Kernel_MultiplicityElement_upperValue) data FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd = FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd String FUML_Syntax_Classes_Kernel_Feature Bool Bool FUML_Syntax_Classes_Kernel_ValueSpecification FUML_Syntax_Classes_Kernel_ValueSpecification | FUML_Syntax_Extensions_CompositeStructures_ConnectorEndEmpty instance AsmTerm FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd where asmDefault = FUML_Syntax_Extensions_CompositeStructures_ConnectorEndEmpty instance Ord FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd where (<=) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd axmiId apartWithPort1 aisOrdered2 aisUnique3 alowerValue4 aupperValue5) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd bxmiId bpartWithPort1 bisOrdered2 bisUnique3 blowerValue4 bupperValue5) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEndEmpty) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd bxmiId bpartWithPort1 bisOrdered2 bisUnique3 blowerValue4 bupperValue5) = True (<=) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd axmiId apartWithPort1 aisOrdered2 aisUnique3 alowerValue4 aupperValue5) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEndEmpty) = False (<=) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEndEmpty) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEndEmpty) = True instance Eq FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd where (==) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd axmiId apartWithPort1 aisOrdered2 aisUnique3 alowerValue4 aupperValue5) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd bxmiId bpartWithPort1 bisOrdered2 bisUnique3 blowerValue4 bupperValue5) = (axmiId == bxmiId) (==) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEndEmpty) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd bxmiId bpartWithPort1 bisOrdered2 bisUnique3 blowerValue4 bupperValue5) = False (==) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd axmiId apartWithPort1 aisOrdered2 aisUnique3 alowerValue4 aupperValue5) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEndEmpty) = False (==) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEndEmpty) (FUML_Syntax_Extensions_CompositeStructures_ConnectorEndEmpty) = True -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd -- property not generated (DERIVED PROPERTY) definingEnd Property -- property generated partWithPort Property function_ConnectorEnd_partWithPort :: FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd -> FUML_Syntax_Classes_Kernel_Feature function_ConnectorEnd_partWithPort (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd xmiId partWithPort1 isOrdered2 isUnique3 lowerValue4 upperValue5) = partWithPort1 -- property - association with opposite side navigable (end) mandatory lower(1) - User must define a BODY -- function_ConnectorEnd_role :: FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd -> FUML_Syntax_Classes_Kernel_Feature --super class FUNCTIONS FUML_Syntax_Classes_Kernel_MultiplicityElement -- property generated isOrdered Boolean function_ConnectorEnd_MultiplicityElement_isOrdered :: FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd -> Bool function_ConnectorEnd_MultiplicityElement_isOrdered (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd xmiId partWithPort1 isOrdered2 isUnique3 lowerValue4 upperValue5) = isOrdered2 -- property generated isUnique Boolean function_ConnectorEnd_MultiplicityElement_isUnique :: FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd -> Bool function_ConnectorEnd_MultiplicityElement_isUnique (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd xmiId partWithPort1 isOrdered2 isUnique3 lowerValue4 upperValue5) = isUnique3 -- property not generated (DERIVED PROPERTY) upper UnlimitedNatural -- property not generated (DERIVED PROPERTY) lower Integer -- property generated upperValue ValueSpecification function_ConnectorEnd_MultiplicityElement_upperValue :: FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd -> FUML_Syntax_Classes_Kernel_ValueSpecification function_ConnectorEnd_MultiplicityElement_upperValue (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd xmiId partWithPort1 isOrdered2 isUnique3 lowerValue4 upperValue5) = upperValue5 -- property generated lowerValue ValueSpecification function_ConnectorEnd_MultiplicityElement_lowerValue :: FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd -> FUML_Syntax_Classes_Kernel_ValueSpecification function_ConnectorEnd_MultiplicityElement_lowerValue (FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd xmiId partWithPort1 isOrdered2 isUnique3 lowerValue4 upperValue5) = lowerValue4 --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd --super class FUNCTIONS FUML_Syntax_Classes_Kernel_MultiplicityElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element ------------------------------------------------------------------------------------------------------------------------------------------------------------ data FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind = FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind_sequential instance AsmTerm FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind where asmDefault = FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind_sequential instance Ord FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind] list = [ FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind_sequential] findPos :: [FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind] -> FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Syntax_Classes_Kernel_Feature -- sub classes TYPES data FUML_Syntax_Classes_Kernel_FeatureType = FUML_Syntax_Extensions_CompositeStructures_Connector | FUML_Syntax_Extensions_CompositeStructures_ConnectableElement | FUML_Syntax_Classes_Kernel_Property | FUML_Syntax_CommonBehaviors_Communications_Reception | FUML_Syntax_Extensions_CompositeStructures_Port | FUML_Syntax_Classes_Kernel_Operation instance AsmTerm FUML_Syntax_Classes_Kernel_FeatureType where asmDefault = FUML_Syntax_Extensions_CompositeStructures_Connector instance Ord FUML_Syntax_Classes_Kernel_FeatureType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Syntax_Classes_Kernel_FeatureType] list = [FUML_Syntax_Extensions_CompositeStructures_Connector,FUML_Syntax_Extensions_CompositeStructures_ConnectableElement,FUML_Syntax_Classes_Kernel_Property,FUML_Syntax_CommonBehaviors_Communications_Reception,FUML_Syntax_Extensions_CompositeStructures_Port,FUML_Syntax_Classes_Kernel_Operation] findPos :: [FUML_Syntax_Classes_Kernel_FeatureType] -> FUML_Syntax_Classes_Kernel_FeatureType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Syntax_Classes_Kernel_FeatureType where (==) = genericEq -- ( FUML_Syntax_Classes_Kernel_BehavioralFeature_concurrency FUML_Syntax_Classes_Kernel_BehavioralFeature_isAbstract {FUML_Syntax_Classes_Kernel_BehavioralFeature_ownedParameter} {FUML_Syntax_Extensions_CompositeStructures_Connector_end} FUML_Syntax_Extensions_CompositeStructures_Connector_type FUML_Syntax_Classes_Kernel_Feature_isStatic FUML_Syntax_Classes_Kernel_MultiplicityElement_isOrdered FUML_Syntax_Classes_Kernel_MultiplicityElement_isUnique FUML_Syntax_Classes_Kernel_MultiplicityElement_lowerValue FUML_Syntax_Classes_Kernel_MultiplicityElement_upperValue FUML_Syntax_Classes_Kernel_NamedElement_name FUML_Syntax_Classes_Kernel_NamedElement_visibility FUML_Syntax_Classes_Kernel_Operation_isQuery {FUML_Syntax_Classes_Kernel_Operation_redefinedOperation} FUML_Syntax_Extensions_CompositeStructures_Port_isBehavior FUML_Syntax_Extensions_CompositeStructures_Port_isConjugated FUML_Syntax_Classes_Kernel_Property_aggregation FUML_Syntax_Classes_Kernel_Property_isDerived FUML_Syntax_Classes_Kernel_Property_isDerivedUnion FUML_Syntax_Classes_Kernel_Property_isID FUML_Syntax_Classes_Kernel_Property_isReadOnly FUML_Syntax_CommonBehaviors_Communications_Reception_signal FUML_Syntax_Classes_Kernel_RedefinableElement_isLeaf FUML_Syntax_Classes_Kernel_StructuralFeature_isReadOnly) data FUML_Syntax_Classes_Kernel_Feature = FUML_Syntax_Classes_Kernel_Feature String FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind Bool {FUML_Syntax_Classes_Kernel_Parameter} {FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd} FUML_Syntax_Classes_Kernel_Classifier Bool Bool Bool FUML_Syntax_Classes_Kernel_ValueSpecification FUML_Syntax_Classes_Kernel_ValueSpecification String FUML_Syntax_Classes_Kernel_VisibilityKind Bool {FUML_Syntax_Classes_Kernel_Feature} Bool Bool FUML_Syntax_Classes_Kernel_AggregationKind Bool Bool Bool Bool FUML_Syntax_Classes_Kernel_Classifier Bool Bool FUML_Syntax_Classes_Kernel_FeatureType | FUML_Syntax_Classes_Kernel_FeatureEmpty instance AsmTerm FUML_Syntax_Classes_Kernel_Feature where asmDefault = FUML_Syntax_Classes_Kernel_FeatureEmpty instance Ord FUML_Syntax_Classes_Kernel_Feature where (<=) (FUML_Syntax_Classes_Kernel_Feature axmiId aconcurrency1 aisAbstract2 aownedParameter3 aend4 atype5 aisStatic6 aisOrdered7 aisUnique8 alowerValue9 aupperValue10 aname11 avisibility12 aisQuery13 aredefinedOperation14 aisBehavior15 aisConjugated16 aaggregation17 aisDerived18 aisDerivedUnion19 aisID20 aisReadOnly21 asignal22 aisLeaf23 aisReadOnly24 afUML_Syntax_Classes_Kernel_FeatureType) (FUML_Syntax_Classes_Kernel_Feature bxmiId bconcurrency1 bisAbstract2 bownedParameter3 bend4 btype5 bisStatic6 bisOrdered7 bisUnique8 blowerValue9 bupperValue10 bname11 bvisibility12 bisQuery13 bredefinedOperation14 bisBehavior15 bisConjugated16 baggregation17 bisDerived18 bisDerivedUnion19 bisID20 bisReadOnly21 bsignal22 bisLeaf23 bisReadOnly24 bfUML_Syntax_Classes_Kernel_FeatureType) = (axmiId < bxmiId || axmiId == bxmiId) (<=) (FUML_Syntax_Classes_Kernel_FeatureEmpty) (FUML_Syntax_Classes_Kernel_Feature bxmiId bconcurrency1 bisAbstract2 bownedParameter3 bend4 btype5 bisStatic6 bisOrdered7 bisUnique8 blowerValue9 bupperValue10 bname11 bvisibility12 bisQuery13 bredefinedOperation14 bisBehavior15 bisConjugated16 baggregation17 bisDerived18 bisDerivedUnion19 bisID20 bisReadOnly21 bsignal22 bisLeaf23 bisReadOnly24 bfUML_Syntax_Classes_Kernel_FeatureType) = True (<=) (FUML_Syntax_Classes_Kernel_Feature axmiId aconcurrency1 aisAbstract2 aownedParameter3 aend4 atype5 aisStatic6 aisOrdered7 aisUnique8 alowerValue9 aupperValue10 aname11 avisibility12 aisQuery13 aredefinedOperation14 aisBehavior15 aisConjugated16 aaggregation17 aisDerived18 aisDerivedUnion19 aisID20 aisReadOnly21 asignal22 aisLeaf23 aisReadOnly24 afUML_Syntax_Classes_Kernel_FeatureType) (FUML_Syntax_Classes_Kernel_FeatureEmpty) = False (<=) (FUML_Syntax_Classes_Kernel_FeatureEmpty) (FUML_Syntax_Classes_Kernel_FeatureEmpty) = True instance Eq FUML_Syntax_Classes_Kernel_Feature where (==) (FUML_Syntax_Classes_Kernel_Feature axmiId aconcurrency1 aisAbstract2 aownedParameter3 aend4 atype5 aisStatic6 aisOrdered7 aisUnique8 alowerValue9 aupperValue10 aname11 avisibility12 aisQuery13 aredefinedOperation14 aisBehavior15 aisConjugated16 aaggregation17 aisDerived18 aisDerivedUnion19 aisID20 aisReadOnly21 asignal22 aisLeaf23 aisReadOnly24 afUML_Syntax_Classes_Kernel_FeatureType) (FUML_Syntax_Classes_Kernel_Feature bxmiId bconcurrency1 bisAbstract2 bownedParameter3 bend4 btype5 bisStatic6 bisOrdered7 bisUnique8 blowerValue9 bupperValue10 bname11 bvisibility12 bisQuery13 bredefinedOperation14 bisBehavior15 bisConjugated16 baggregation17 bisDerived18 bisDerivedUnion19 bisID20 bisReadOnly21 bsignal22 bisLeaf23 bisReadOnly24 bfUML_Syntax_Classes_Kernel_FeatureType) = (axmiId == bxmiId) (==) (FUML_Syntax_Classes_Kernel_FeatureEmpty) (FUML_Syntax_Classes_Kernel_Feature bxmiId bconcurrency1 bisAbstract2 bownedParameter3 bend4 btype5 bisStatic6 bisOrdered7 bisUnique8 blowerValue9 bupperValue10 bname11 bvisibility12 bisQuery13 bredefinedOperation14 bisBehavior15 bisConjugated16 baggregation17 bisDerived18 bisDerivedUnion19 bisID20 bisReadOnly21 bsignal22 bisLeaf23 bisReadOnly24 bfUML_Syntax_Classes_Kernel_FeatureType) = False (==) (FUML_Syntax_Classes_Kernel_Feature axmiId aconcurrency1 aisAbstract2 aownedParameter3 aend4 atype5 aisStatic6 aisOrdered7 aisUnique8 alowerValue9 aupperValue10 aname11 avisibility12 aisQuery13 aredefinedOperation14 aisBehavior15 aisConjugated16 aaggregation17 aisDerived18 aisDerivedUnion19 aisID20 aisReadOnly21 asignal22 aisLeaf23 aisReadOnly24 afUML_Syntax_Classes_Kernel_FeatureType) (FUML_Syntax_Classes_Kernel_FeatureEmpty) = False (==) (FUML_Syntax_Classes_Kernel_FeatureEmpty) (FUML_Syntax_Classes_Kernel_FeatureEmpty) = True instance Text FUML_Syntax_Classes_Kernel_Feature where showsPrec i FUML_Syntax_Classes_Kernel_FeatureEmpty = showString("FUML_Syntax_Classes_Kernel_FeatureEmpty") showsPrec i (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = showString(show fUML_Syntax_Classes_Kernel_FeatureType ++ " name = " ++ name11 ) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_Feature_type :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_FeatureType function_Feature_type (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = fUML_Syntax_Classes_Kernel_FeatureType --class FUNCTIONS FUML_Syntax_Classes_Kernel_Feature -- property generated isStatic Boolean function_Feature_isStatic :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_isStatic (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isStatic6 -- property not generated (DERIVED PROPERTY) featuringClassifier Classifier --super class FUNCTIONS FUML_Syntax_Classes_Kernel_RedefinableElement -- property generated isLeaf Boolean function_Feature_RedefinableElement_isLeaf :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_RedefinableElement_isLeaf (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isLeaf23 -- property not generated (DERIVED PROPERTY) redefinedElement RedefinableElement -- property not generated (DERIVED PROPERTY) redefinitionContext Classifier --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement -- property generated name String function_Feature_NamedElement_name :: FUML_Syntax_Classes_Kernel_Feature -> String function_Feature_NamedElement_name (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = name11 -- property generated visibility VisibilityKind function_Feature_NamedElement_visibility :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_VisibilityKind function_Feature_NamedElement_visibility (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = visibility12 -- property not generated (DERIVED PROPERTY) qualifiedName String -- property not generated (DERIVED PROPERTY) namespace Namespace --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element -- property not generated (DERIVED PROPERTY) ownedElement Element -- property not generated (DERIVED PROPERTY) owner Element -- property not generated (TYPE IS NOT IN THE CLOSED SET) ownedComment Comment --sub class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_Connector -- property generated end ConnectorEnd function_Feature_Connector_end :: FUML_Syntax_Classes_Kernel_Feature -> {FUML_Syntax_Extensions_CompositeStructures_ConnectorEnd} function_Feature_Connector_end (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = end4 -- property not generated (DERIVED PROPERTY) kind ConnectorKind -- property generated type Association function_Feature_Connector_type :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_Classifier function_Feature_Connector_type (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = type5 --sub class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_ConnectableElement -- property not generated (DERIVED PROPERTY) end ConnectorEnd --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_Property -- property generated isDerived Boolean function_Feature_Property_isDerived :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_Property_isDerived (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isDerived18 -- property generated isReadOnly Boolean function_Feature_Property_isReadOnly :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_Property_isReadOnly (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isReadOnly21 -- property generated isDerivedUnion Boolean function_Feature_Property_isDerivedUnion :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_Property_isDerivedUnion (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isDerivedUnion19 -- property generated aggregation AggregationKind function_Feature_Property_aggregation :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_AggregationKind function_Feature_Property_aggregation (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = aggregation17 -- property not generated (DERIVED PROPERTY) isComposite Boolean -- property - association with opposite side navigable (ownedEnd) - User can define a BODY -- function_Feature_Property_owningAssociation :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_Classifier -- property - association with opposite side navigable (ownedAttribute) - User can define a BODY -- function_Feature_Property_datatype :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_Classifier -- property - association with opposite side navigable (memberEnd) - User can define a BODY -- function_Feature_Property_association :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_Classifier -- property - association with opposite side navigable (ownedAttribute) - User can define a BODY -- function_Feature_Property_class :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_Classifier -- property not generated (DERIVED PROPERTY) opposite Property -- property generated isID Boolean function_Feature_Property_isID :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_Property_isID (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isID20 --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_BehavioralFeature -- property generated ownedParameter Parameter function_Feature_BehavioralFeature_ownedParameter :: FUML_Syntax_Classes_Kernel_Feature -> {FUML_Syntax_Classes_Kernel_Parameter} function_Feature_BehavioralFeature_ownedParameter (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = ownedParameter3 -- property generated isAbstract Boolean function_Feature_BehavioralFeature_isAbstract :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_BehavioralFeature_isAbstract (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isAbstract2 -- property - association with opposite side navigable (specification) - User can define a BODY -- function_Feature_BehavioralFeature_method :: FUML_Syntax_Classes_Kernel_Feature -> {FUML_Syntax_Classes_Kernel_Classifier} -- property generated concurrency CallConcurrencyKind function_Feature_BehavioralFeature_concurrency :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_CommonBehaviors_BasicBehaviors_CallConcurrencyKind function_Feature_BehavioralFeature_concurrency (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = concurrency1 --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_Reception -- property generated signal Signal function_Feature_Reception_signal :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_Classifier function_Feature_Reception_signal (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = signal22 --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_MultiplicityElement -- property generated isOrdered Boolean function_Feature_MultiplicityElement_isOrdered :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_MultiplicityElement_isOrdered (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isOrdered7 -- property generated isUnique Boolean function_Feature_MultiplicityElement_isUnique :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_MultiplicityElement_isUnique (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isUnique8 -- property not generated (DERIVED PROPERTY) upper UnlimitedNatural -- property not generated (DERIVED PROPERTY) lower Integer -- property generated upperValue ValueSpecification function_Feature_MultiplicityElement_upperValue :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_ValueSpecification function_Feature_MultiplicityElement_upperValue (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = upperValue10 -- property generated lowerValue ValueSpecification function_Feature_MultiplicityElement_lowerValue :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_ValueSpecification function_Feature_MultiplicityElement_lowerValue (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = lowerValue9 --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_StructuralFeature -- property generated isReadOnly Boolean function_Feature_StructuralFeature_isReadOnly :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_StructuralFeature_isReadOnly (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isReadOnly24 --sub class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_Port -- property generated isBehavior Boolean function_Feature_Port_isBehavior :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_Port_isBehavior (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isBehavior15 -- property generated isConjugated Boolean function_Feature_Port_isConjugated :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_Port_isConjugated (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isConjugated16 -- property not generated (DERIVED PROPERTY) required Class -- property not generated (DERIVED PROPERTY) provided Class --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_Operation -- property generated isQuery Boolean function_Feature_Operation_isQuery :: FUML_Syntax_Classes_Kernel_Feature -> Bool function_Feature_Operation_isQuery (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = isQuery13 -- property not generated (DERIVED PROPERTY) isOrdered Boolean -- property not generated (DERIVED PROPERTY) isUnique Boolean -- property not generated (DERIVED PROPERTY) lower Integer -- property not generated (DERIVED PROPERTY) upper UnlimitedNatural -- property - association with opposite side navigable (ownedOperation) - User can define a BODY -- function_Feature_Operation_class :: FUML_Syntax_Classes_Kernel_Feature -> FUML_Syntax_Classes_Kernel_Classifier -- property generated redefinedOperation Operation function_Feature_Operation_redefinedOperation :: FUML_Syntax_Classes_Kernel_Feature -> {FUML_Syntax_Classes_Kernel_Feature} function_Feature_Operation_redefinedOperation (FUML_Syntax_Classes_Kernel_Feature xmiId concurrency1 isAbstract2 ownedParameter3 end4 type5 isStatic6 isOrdered7 isUnique8 lowerValue9 upperValue10 name11 visibility12 isQuery13 redefinedOperation14 isBehavior15 isConjugated16 aggregation17 isDerived18 isDerivedUnion19 isID20 isReadOnly21 signal22 isLeaf23 isReadOnly24 fUML_Syntax_Classes_Kernel_FeatureType) = redefinedOperation14 -- property not generated (DERIVED PROPERTY) type Type -- property - association with opposite side navigable (operation) - User can define a BODY -- function_Feature_Operation_ownedParameter :: FUML_Syntax_Classes_Kernel_Feature -> {FUML_Syntax_Classes_Kernel_Parameter} -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Syntax_Classes_Kernel_Feature --super class FUNCTIONS FUML_Syntax_Classes_Kernel_RedefinableElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_NamedElement --super class FUNCTIONS FUML_Syntax_Classes_Kernel_Element --sub class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_Connector --sub class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_ConnectableElement --sub class FUNCTIONS FUML_Syntax_CommonBehaviors_Communications_Reception --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_BehavioralFeature --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_Property --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_StructuralFeature --sub class FUNCTIONS FUML_Syntax_Extensions_CompositeStructures_Port --sub class FUNCTIONS FUML_Syntax_Classes_Kernel_Operation -- EVALUATED these elements - closed set: -- String -- Slot -- superclasses: Element -- Property -- superclasses: RedefinableElement Feature NamedElement MultiplicityElement Element StructuralFeature TypedElement -- subclasses: ConnectableElement Port -- LiteralNull -- superclasses: LiteralSpecification NamedElement ValueSpecification Element TypedElement -- PrimitiveType -- superclasses: PackageableElement DataType Namespace Type Classifier NamedElement Element -- DataType -- superclasses: PackageableElement Namespace Type Classifier NamedElement Element -- subclasses: PrimitiveType -- ValueSpecificationAction -- superclasses: ActivityNode ExecutableNode RedefinableElement NamedElement Element Action -- RemoveStructuralFeatureValueAction -- superclasses: ActivityNode ExecutableNode StructuralFeatureAction RedefinableElement WriteStructuralFeatureAction NamedElement Element Action -- Operation -- superclasses: RedefinableElement Feature NamedElement BehavioralFeature Element -- Parameter -- superclasses: NamedElement MultiplicityElement Element TypedElement -- CallAction -- superclasses: ActivityNode ExecutableNode RedefinableElement InvocationAction NamedElement Element Action -- subclasses: CallBehaviorAction StartObjectBehaviorAction -- ActivityNode -- superclasses: RedefinableElement NamedElement Element -- subclasses: OutputPin AcceptEventAction CallBehaviorAction ValueSpecificationAction SendSignalAction AddStructuralFeatureValueAction StartObjectBehaviorAction InputPin ForkNode DecisionNode ClearStructuralFeatureAction FlowFinalNode CreateObjectAction ReadSelfAction MergeNode InitialNode StructuredActivityNode RemoveStructuralFeatureValueAction ReadStructuralFeatureAction -- ForkNode -- superclasses: ActivityNode RedefinableElement NamedElement ControlNode Element -- ExecutableNode -- superclasses: ActivityNode RedefinableElement NamedElement Element -- subclasses: AcceptEventAction CreateObjectAction ReadSelfAction CallBehaviorAction ValueSpecificationAction SendSignalAction StartObjectBehaviorAction AddStructuralFeatureValueAction StructuredActivityNode ClearStructuralFeatureAction RemoveStructuralFeatureValueAction ReadStructuralFeatureAction -- Feature -- superclasses: RedefinableElement NamedElement Element -- subclasses: Connector ConnectableElement Property Reception Port Operation -- ParameterDirectionKind -- Classifier -- superclasses: PackageableElement Namespace Type NamedElement Element -- subclasses: Class FunctionBehavior DataType StructuredClassifier Signal PrimitiveType EncapsulatedClassifier Activity OpaqueBehavior Association -- OutputPin -- superclasses: ActivityNode RedefinableElement NamedElement MultiplicityElement ObjectNode Pin Element TypedElement -- StructuredClassifier -- superclasses: PackageableElement Namespace Type Classifier NamedElement Element -- subclasses: Class FunctionBehavior EncapsulatedClassifier Activity OpaqueBehavior -- AggregationKind -- ObjectNode -- superclasses: ActivityNode RedefinableElement NamedElement Element TypedElement -- subclasses: OutputPin InputPin -- Integer -- VisibilityKind -- Type -- superclasses: PackageableElement NamedElement Element -- subclasses: Class FunctionBehavior DataType Signal StructuredClassifier PrimitiveType EncapsulatedClassifier Activity Association OpaqueBehavior -- OpaqueBehavior -- superclasses: BehavioredClassifier Class Behavior PackageableElement StructuredClassifier Namespace Type Classifier NamedElement EncapsulatedClassifier Element -- subclasses: FunctionBehavior -- TypedElement -- superclasses: NamedElement Element -- subclasses: OutputPin LiteralBoolean LiteralString ConnectableElement Property InputPin LiteralInteger LiteralUnlimitedNatural InstanceValue Parameter LiteralReal Port LiteralNull -- CallConcurrencyKind -- ConnectorEnd -- superclasses: MultiplicityElement Element -- MessageEvent -- superclasses: PackageableElement NamedElement Element Event -- subclasses: SignalEvent -- SignalEvent -- superclasses: PackageableElement MessageEvent NamedElement Element Event -- ValueSpecification -- superclasses: NamedElement Element TypedElement -- subclasses: LiteralBoolean LiteralString LiteralInteger LiteralUnlimitedNatural InstanceValue LiteralReal LiteralNull -- UnlimitedNatural -- MultiplicityElement -- superclasses: Element -- subclasses: OutputPin ConnectableElement Property ConnectorEnd InputPin Parameter Port -- ObjectFlow -- superclasses: RedefinableElement NamedElement Element ActivityEdge -- Connector -- superclasses: RedefinableElement Feature NamedElement Element -- InitialNode -- superclasses: ActivityNode RedefinableElement NamedElement ControlNode Element -- LiteralInteger -- superclasses: LiteralSpecification NamedElement ValueSpecification Element TypedElement -- CallBehaviorAction -- superclasses: ActivityNode ExecutableNode RedefinableElement InvocationAction NamedElement Element Action CallAction -- ConnectableElement -- superclasses: RedefinableElement Feature NamedElement Property MultiplicityElement Element StructuralFeature TypedElement -- Class -- superclasses: BehavioredClassifier PackageableElement StructuredClassifier Namespace Type Classifier NamedElement EncapsulatedClassifier Element -- subclasses: FunctionBehavior Activity OpaqueBehavior -- StartObjectBehaviorAction -- superclasses: ActivityNode ExecutableNode RedefinableElement InvocationAction NamedElement Element Action CallAction -- Generalization -- superclasses: Element -- NamedElement -- superclasses: Element -- subclasses: ObjectFlow StructuredClassifier CallBehaviorAction ConnectableElement ValueSpecificationAction SendSignalAction InputPin InstanceSpecification Trigger OpaqueBehavior DecisionNode InstanceValue Operation SignalEvent CreateObjectAction Connector DataType Signal LiteralBoolean LiteralString PrimitiveType InitialNode Package LiteralUnlimitedNatural StructuredActivityNode AcceptEventAction Class OutputPin FunctionBehavior Reception AddStructuralFeatureValueAction StartObjectBehaviorAction EncapsulatedClassifier ForkNode ControlFlow LiteralInteger ClearStructuralFeatureAction Parameter Port FlowFinalNode ReadSelfAction MergeNode Constraint Property Activity Association LiteralReal RemoveStructuralFeatureValueAction LiteralNull ReadStructuralFeatureAction -- Pin -- superclasses: ActivityNode RedefinableElement NamedElement MultiplicityElement ObjectNode Element TypedElement -- subclasses: OutputPin InputPin -- StructuralFeature -- superclasses: RedefinableElement Feature NamedElement MultiplicityElement Element TypedElement -- subclasses: ConnectableElement Property Port -- EncapsulatedClassifier -- superclasses: PackageableElement Namespace StructuredClassifier Type Classifier NamedElement Element -- subclasses: Class FunctionBehavior Activity OpaqueBehavior -- Signal -- superclasses: PackageableElement Namespace Type Classifier NamedElement Element -- Constraint -- superclasses: PackageableElement NamedElement Element -- Behavior -- superclasses: BehavioredClassifier Class PackageableElement StructuredClassifier Namespace Type Classifier NamedElement EncapsulatedClassifier Element -- subclasses: FunctionBehavior Activity OpaqueBehavior -- LiteralString -- superclasses: LiteralSpecification NamedElement ValueSpecification Element TypedElement -- Action -- superclasses: ActivityNode ExecutableNode RedefinableElement NamedElement Element -- subclasses: AcceptEventAction CreateObjectAction ReadSelfAction CallBehaviorAction ValueSpecificationAction SendSignalAction StartObjectBehaviorAction AddStructuralFeatureValueAction StructuredActivityNode ClearStructuralFeatureAction ReadStructuralFeatureAction RemoveStructuralFeatureValueAction -- FunctionBehavior -- superclasses: BehavioredClassifier Class Behavior PackageableElement StructuredClassifier Namespace Type Classifier NamedElement EncapsulatedClassifier Element OpaqueBehavior -- StructuralFeatureAction -- superclasses: ActivityNode ExecutableNode RedefinableElement NamedElement Element Action -- subclasses: AddStructuralFeatureValueAction ClearStructuralFeatureAction RemoveStructuralFeatureValueAction ReadStructuralFeatureAction -- PackageImport -- superclasses: Element -- AcceptEventAction -- superclasses: ActivityNode ExecutableNode RedefinableElement NamedElement Element Action -- LiteralBoolean -- superclasses: LiteralSpecification NamedElement ValueSpecification Element TypedElement -- BehavioralFeature -- superclasses: RedefinableElement Feature NamedElement Element -- subclasses: Reception Operation -- Package -- superclasses: PackageableElement Namespace NamedElement Element -- CreateObjectAction -- superclasses: ActivityNode ExecutableNode RedefinableElement NamedElement Element Action -- InstanceSpecification -- superclasses: NamedElement Element -- ActivityEdge -- superclasses: RedefinableElement NamedElement Element -- subclasses: ObjectFlow ControlFlow -- MergeNode -- superclasses: ActivityNode RedefinableElement NamedElement ControlNode Element -- RedefinableElement -- superclasses: NamedElement Element -- subclasses: ObjectFlow CallBehaviorAction ConnectableElement ValueSpecificationAction SendSignalAction InputPin DecisionNode Operation CreateObjectAction Connector InitialNode StructuredActivityNode OutputPin AcceptEventAction Reception AddStructuralFeatureValueAction StartObjectBehaviorAction ControlFlow ForkNode ClearStructuralFeatureAction Port FlowFinalNode ReadSelfAction MergeNode Property RemoveStructuralFeatureValueAction ReadStructuralFeatureAction -- InstanceValue -- superclasses: NamedElement ValueSpecification Element TypedElement -- Namespace -- superclasses: NamedElement Element -- subclasses: Class FunctionBehavior DataType Signal StructuredClassifier PrimitiveType EncapsulatedClassifier Activity Package Association OpaqueBehavior -- FinalNode -- superclasses: ActivityNode RedefinableElement NamedElement ControlNode Element -- subclasses: FlowFinalNode -- Boolean -- SendSignalAction -- superclasses: ActivityNode ExecutableNode RedefinableElement InvocationAction NamedElement Element Action -- LiteralSpecification -- superclasses: NamedElement ValueSpecification Element TypedElement -- subclasses: LiteralBoolean LiteralString LiteralInteger LiteralUnlimitedNatural LiteralReal LiteralNull -- Comment -- Reception -- superclasses: RedefinableElement Feature NamedElement BehavioralFeature Element -- FlowFinalNode -- superclasses: ActivityNode RedefinableElement FinalNode NamedElement ControlNode Element -- ControlFlow -- superclasses: RedefinableElement NamedElement Element ActivityEdge -- LiteralUnlimitedNatural -- superclasses: LiteralSpecification NamedElement ValueSpecification Element TypedElement -- BehavioredClassifier -- superclasses: PackageableElement Namespace Type Classifier NamedElement Element -- subclasses: Class FunctionBehavior Activity OpaqueBehavior -- WriteStructuralFeatureAction -- superclasses: ActivityNode ExecutableNode StructuralFeatureAction RedefinableElement NamedElement Element Action -- subclasses: AddStructuralFeatureValueAction RemoveStructuralFeatureValueAction -- InputPin -- superclasses: ActivityNode RedefinableElement NamedElement MultiplicityElement ObjectNode Pin Element TypedElement -- LiteralReal -- superclasses: LiteralSpecification NamedElement ValueSpecification Element TypedElement -- DecisionNode -- superclasses: ActivityNode RedefinableElement NamedElement ControlNode Element -- PackageableElement -- superclasses: NamedElement Element -- subclasses: Class FunctionBehavior StructuredClassifier EncapsulatedClassifier OpaqueBehavior SignalEvent DataType Signal Constraint PrimitiveType Activity Package Association -- ControlNode -- superclasses: ActivityNode RedefinableElement NamedElement Element -- subclasses: FlowFinalNode MergeNode InitialNode ForkNode DecisionNode -- Real -- StructuredActivityNode -- superclasses: ActivityNode ExecutableNode RedefinableElement NamedElement Element Action -- ConnectorKind -- ReadStructuralFeatureAction -- superclasses: ActivityNode ExecutableNode StructuralFeatureAction RedefinableElement NamedElement Element Action -- Activity -- superclasses: BehavioredClassifier Class Behavior PackageableElement StructuredClassifier Namespace Type Classifier NamedElement EncapsulatedClassifier Element -- Association -- superclasses: PackageableElement Namespace Type Classifier NamedElement Element -- ClearStructuralFeatureAction -- superclasses: ActivityNode ExecutableNode StructuralFeatureAction RedefinableElement NamedElement Element Action -- InvocationAction -- superclasses: ActivityNode ExecutableNode RedefinableElement NamedElement Element Action -- subclasses: CallBehaviorAction SendSignalAction StartObjectBehaviorAction -- Event -- superclasses: PackageableElement NamedElement Element -- subclasses: SignalEvent -- ReadSelfAction -- superclasses: ActivityNode ExecutableNode RedefinableElement NamedElement Element Action -- AddStructuralFeatureValueAction -- superclasses: ActivityNode ExecutableNode StructuralFeatureAction RedefinableElement WriteStructuralFeatureAction NamedElement Element Action -- Trigger -- superclasses: NamedElement Element -- Element -- subclasses: ObjectFlow StructuredClassifier CallBehaviorAction Generalization ConnectableElement ValueSpecificationAction SendSignalAction Slot InstanceSpecification DecisionNode OpaqueBehavior InstanceValue PackageImport SignalEvent Signal LiteralBoolean LiteralString ConnectorEnd Package LiteralUnlimitedNatural StructuredActivityNode StartObjectBehaviorAction MultiplicityElement AddStructuralFeatureValueAction EncapsulatedClassifier ControlFlow LiteralInteger Parameter Port ReadSelfAction MergeNode Activity Association ReadStructuralFeatureAction LiteralNull RemoveStructuralFeatureValueAction InputPin Trigger Operation CreateObjectAction Connector DataType PrimitiveType InitialNode OutputPin Class AcceptEventAction FunctionBehavior ElementImport Reception ForkNode ClearStructuralFeatureAction FlowFinalNode Constraint Property LiteralReal -- ElementImport -- superclasses: Element -- Port -- superclasses: RedefinableElement Feature NamedElement Property MultiplicityElement Element StructuralFeature TypedElement